Searched refs:str (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 116 proof_name = str(pathlib.Path(root).name)
133 if not isinstance(cmd, str):
154 cmd.extend(["-j", str(jobs)])
170 proof_name = str(proof_directory.relative_to(proof_root))
172 goto_binary = str(
183 "--cwd", str(proof_directory),
189 cbmc_out = str(proof_directory / "cbmc.txt")
200 "--cwd", str(proof_directory),
204 property_out = str(proof_directory / "property.xml")
212 "--cwd", str(proof_directory),
[all …]
|
| D | make_proof_makefiles.py | 49 basestring = str
175 str(makefile["EXPECTED"]).lower() == "true"):
177 elif str(makefile["EXPECTED"]).lower() == "false":
201 str(value), str(type(value)))
204 value = str(value)
213 value, str(e))
366 "default": str(default_platform()),
|
| D | prepare.py | 94 """.format(str(e))))
|
| D | make_common_makefile.py | 101 default=str(default_platform()),
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | cbmc.h | 65 #define __CPROVER_printf2( str, exp ) { uint32_t ValueOf_ ## str = ( uint32_t ) ( exp ); } argument
70 #define __CPROVER_printf2_ptr( str, exp ) { uint8_t * ValueOf_ ## str = ( uint8_t * ) ( exp ); } argument
|
