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

- v -

• value : solidity_mapping.c
• value_flags : toml.hpp
• value_retrieval_is_nothrow : toml.hpp
• vfs_cpp : cprover_libc_sources.cpp
• vfs_headers : cprover_libc_sources.cpp
• vfs_libm : cprover_libc_sources.cpp
• vfs_library : cprover_libc_sources.cpp
• vfs_musl : cprover_libc_sources.cpp
• vfs_prefix : cprover_libc_sources.cpp, esbmc_internal_cpp.cpp, python_language.cpp
• vfs_python : cprover_libc_sources.cpp
• vfs_solidity : cprover_libc_sources.cpp