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
24 bool ignore_unreachables, c_file, hints, rodata; member
67 file.c_file = !vmlinux && find_section_by_name(file.elf, ".comment"); in objtool_open_read()
2844 if (file->c_file && func && insn->func && func != insn->func->pfunc) { in validate_branch()