Here is a list of all variables with links to the files they belong to:

- k -

• kConstant : numpy_call_expr.cpp
• kernel_memory : uaccess.h, kernel.c
• kEsbmcAssert : builder.cpp
• kEsbmcAssigns : builder.cpp
• kEsbmcAssume : builder.cpp
• kEsbmcAtomicBegin : builder.cpp
• kEsbmcAtomicEnd : builder.cpp
• kEsbmcCover : builder.cpp
• kEsbmcEnsures : builder.cpp
• kEsbmcLoopInvariant : builder.cpp
• kEsbmcOld : builder.cpp
• kEsbmcOldRaw : builder.cpp
• kEsbmcRequires : builder.cpp
• kEsbmcReturnValue : builder.cpp
• kEsbmcSpawnThread : builder.cpp
• kEsbmcUnreachable : builder.cpp
• key : solidity_mapping.c
• kGetObjectSize : builder.cpp
• kLoopInvariant : builder.cpp
• kMaxSequenceExpansion : python_frontend_limits.h
• kName : numpy_call_expr.cpp
• kPyLockBlockAndCheck : builder.cpp
• kPyLockReleaseWaiters : builder.cpp
• kPytInitTid : builder.cpp
• kPytJoin : builder.cpp
• kPytTerminate : builder.cpp
• kStrlen : builder.cpp
• kSynthesisedInvariantProperty : goto_loop_invariant.cpp, goto_loop_invariant.h
• kVerifierAssume : builder.cpp