Searched refs:res (Results 1 – 5 of 5) sorted by relevance
7 RESULT_VARIABLE res10 if(NOT (${res} EQUAL 0 OR ${res} EQUAL 10))12 "Unexpected CBMC return code '${res}' for proof ${proof_name}. Log written to ${out_file}."
7 RESULT_VARIABLE res10 if(NOT (${res} EQUAL 0 OR ${res} EQUAL 10))12 …"Unexpected CBMC coverage return code '${res}' for proof ${proof_name}. Log written to ${out_file}…
7 RESULT_VARIABLE res10 if(NOT (${res} EQUAL 0 OR ${res} EQUAL 10))12 …"Unexpected CBMC property return code '${res}' for proof ${proof_name}. Log written to ${out_file}…
98 res = subprocess.run(drop_header_cmd,103 if res.returncode:107 res.stdout)108 logging.error("The return code is %d", int(res.returncode))
159 uint16_t res = 0; in ksz8851_reg_read() local224 res = ( tmpbuf[ 3 ] << 8 ) | tmpbuf[ 2 ]; in ksz8851_reg_read()225 return res; in ksz8851_reg_read()
