Searched refs:c_file (Results 1 – 4 of 4) 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
22 bool ignore_unreachables, c_file, hints, rodata; member
65 file.c_file = !vmlinux && find_section_by_name(file.elf, ".comment"); in objtool_open_read()
2437 if (file->c_file && func && insn->func && func != insn->func->pfunc) { in validate_branch()
