/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/ChcSmtPrinter_float_req_bl_1052d_true-unreach-call.c.smt2


--------------------------------------------------------------------------------


(error "line 33 column 4124: unknown constant v_#memory_int_7")
(error "line 44 column 5447: unknown constant v_~someBinaryFLOATComparisonOperation_3")
(error "line 45 column 5669: unknown constant v_~someBinaryFLOATComparisonOperation_5")
(error "line 46 column 5526: unknown constant v_~bitwiseAnd_5")
(error "line 47 column 5460: unknown constant v_~bitwiseAnd_7")
(error "line 51 column 4063: unknown constant v_#memory_real_4")
(error "line 53 column 5447: unknown constant v_~someBinaryFLOATComparisonOperation_7")
(error "line 54 column 5669: unknown constant v_~someBinaryFLOATComparisonOperation_9")
(error "line 64 column 4157: unknown constant v_#memory_int_11")
(error "line 68 column 5807: unknown constant v_~bitwiseAnd_11")
(error "line 71 column 4095: unknown constant v_~bitwiseAnd_3")
(error "line 77 column 3436: unknown constant old(#StackHeapBarrier)")
sat