/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/ChcSmtPrinter_double_req_bl_1121b_true-unreach-call.c.smt2 -------------------------------------------------------------------------------- (error "line 57 column 6086: unknown constant v_ULTIMATE.start_main_#t~nondet16_3") (error "line 58 column 6245: unknown constant v_#memory_int_6") (error "line 62 column 6097: unknown constant v_#memory_int_12") (error "line 66 column 8478: unknown constant v_~bitwiseAnd_6") (error "line 67 column 8448: unknown constant v_~bitwiseOr_17") (error "line 68 column 8306: unknown constant v_~bitwiseOr_20") (error "line 69 column 6147: unknown constant v_~someBinaryDOUBLEComparisonOperation_2") (error "line 109 column 6139: unknown constant v_~bitwiseOr_6") (error "line 110 column 6137: unknown constant v_~shiftLeft_7") (error "line 114 column 8588: unknown constant v_~bitwiseOr_11") (error "line 115 column 8705: unknown constant v_~shiftLeft_14") (error "line 129 column 6236: unknown constant v_~bitwiseOr_27") (error "line 130 column 6384: unknown constant v_~bitwiseOr_29") (error "line 131 column 6377: unknown constant v_~bitwiseOr_23") (error "line 132 column 6287: unknown constant v_~bitwiseOr_25") (error "line 138 column 6358: unknown constant v_#memory_real_20") (error "line 145 column 6244: unknown constant v_#memory_real_26") (error "line 152 column 4997: unknown constant old(#StackHeapBarrier)") sat