/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/ChcSmtPrinter_double_req_bl_0960b_true-unreach-call.c.smt2 -------------------------------------------------------------------------------- (error "line 48 column 14414: unknown constant v_#memory_int_6") (error "line 55 column 13712: unknown constant v_~bitwiseOr_3") (error "line 56 column 13719: unknown constant v_~bitwiseOr_5") (error "line 58 column 14509: unknown constant v_~bitwiseAnd_8") (error "line 62 column 14414: unknown constant v_#memory_int_22") (error "line 64 column 10026: unknown constant v_#memory_int_15") (error "line 66 column 10267: unknown constant v_#memory_int_10") (error "line 73 column 9833: unknown constant v_~bitwiseOr_15") (error "line 76 column 9992: unknown constant v_#memory_int_27") (error "line 89 column 13592: unknown constant v_~bitwiseOr_20") (error "line 90 column 9506: unknown constant v_~bitwiseOr_22") (error "line 97 column 9992: unknown constant v_#memory_real_31") (error "line 99 column 14053: unknown constant v_#memory_int_32") (error "line 106 column 9526: unknown constant v_~bitwiseAnd_13") (error "line 107 column 13554: unknown constant v_~bitwiseAnd_2") (error "line 108 column 13310: unknown constant v_~someBinaryDOUBLEComparisonOperation_4") (error "line 109 column 13347: unknown constant v_~someBinaryDOUBLEComparisonOperation_2") (error "line 120 column 8990: unknown constant old(#StackHeapBarrier)") sat