/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/ChcSmtPrinter_float_req_bl_0832a_true-unreach-call.c.smt2 -------------------------------------------------------------------------------- (error "line 39 column 7529: unknown constant v_#memory_int_4") (error "line 49 column 7329: unknown constant v_~someBinaryFLOATComparisonOperation_2") (error "line 50 column 10278: unknown constant v_~someBinaryFLOATComparisonOperation_4") (error "line 69 column 7208: unknown constant v_~someBinaryFLOATComparisonOperation_6") (error "line 70 column 10357: unknown constant v_~someBinaryFLOATComparisonOperation_8") (error "line 76 column 7496: unknown constant v_#memory_int_8") (error "line 78 column 7529: unknown constant v_#memory_int_15") (error "line 82 column 10182: unknown constant v_#memory_real_13") (error "line 86 column 7496: unknown constant v_#memory_real_20") (error "line 94 column 6662: unknown constant old(#StackHeapBarrier)") sat