cprover

cbmc → solvers Relation

File in cbmcIncludes file in solvers
cbmc_parse_options.hstrings / string_refinement.h