Searched refs:c_file (Results 1 – 3 of 3) sorted by relevance
60 c_file=`dirname "$2"`/test.c80 echo "Running CBMC: ${CBMC} ${cbmc_opts} ${c_file}"81 if ${CBMC} ${cbmc_opts} "${c_file}"; then
54 bool ignore_unreachables, c_file, hints, rodata; member
1964 if (file->c_file && func && insn->func && func != insn->func->pfunc) { in validate_branch()2438 file.c_file = find_section_by_name(file.elf, ".comment"); in check()