Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

48

tests

0

failures

24

ignored

0.610s

duration

100%

successful

Tests

Test Method name Duration Result
[10] float.sinDouble.props testTranslation(TestData)[10] 0.003s passed
[11] float.sqrt1.props testTranslation(TestData)[11] 0.003s passed
[12] float.sqrt2.props testTranslation(TestData)[12] 0.003s passed
[13] float1.props testTranslation(TestData)[13] 0.002s passed
[14] float2.props testTranslation(TestData)[14] 0.003s passed
[15] heap1.props testTranslation(TestData)[15] 0.002s passed
[16] int1.props testTranslation(TestData)[16] 0.005s passed
[17] ite1.props testTranslation(TestData)[17] 0.002s passed
[18] quant1.props testTranslation(TestData)[18] 0.003s passed
[19] quant2.props testTranslation(TestData)[19] 0.003s passed
[1] bool1.props testTranslation(TestData)[1] 0.046s passed
[20] types1.props testTranslation(TestData)[20] 0.003s passed
[21] types2.props testTranslation(TestData)[21] 0.006s passed
[22] uninterpreted1.props testTranslation(TestData)[22] 0.002s passed
[23] upd1.props testTranslation(TestData)[23] 0.103s passed
[24] upd2.props testTranslation(TestData)[24] 0.059s passed
[2] bool2.props testTranslation(TestData)[2] 0.003s passed
[3] bool3.props testTranslation(TestData)[3] 0.005s passed
[4] cast1.props testTranslation(TestData)[4] 0.002s passed
[5] cast2.props testTranslation(TestData)[5] 0.007s passed
[6] cast3.props testTranslation(TestData)[6] 0.002s passed
[7] ex1.props testTranslation(TestData)[7] 0.002s passed
[8] ex2.props testTranslation(TestData)[8] 0.003s passed
[9] float.eq.props testTranslation(TestData)[9] 0.002s passed
[10] float.sinDouble.props testZ3(TestData)[10] - ignored
[11] float.sqrt1.props testZ3(TestData)[11] - ignored
[12] float.sqrt2.props testZ3(TestData)[12] - ignored
[13] float1.props testZ3(TestData)[13] - ignored
[14] float2.props testZ3(TestData)[14] - ignored
[15] heap1.props testZ3(TestData)[15] - ignored
[16] int1.props testZ3(TestData)[16] - ignored
[17] ite1.props testZ3(TestData)[17] - ignored
[18] quant1.props testZ3(TestData)[18] - ignored
[19] quant2.props testZ3(TestData)[19] - ignored
[1] bool1.props testZ3(TestData)[1] - ignored
[20] types1.props testZ3(TestData)[20] - ignored
[21] types2.props testZ3(TestData)[21] - ignored
[22] uninterpreted1.props testZ3(TestData)[22] - ignored
[23] upd1.props testZ3(TestData)[23] - ignored
[24] upd2.props testZ3(TestData)[24] - ignored
[2] bool2.props testZ3(TestData)[2] - ignored
[3] bool3.props testZ3(TestData)[3] - ignored
[4] cast1.props testZ3(TestData)[4] - ignored
[5] cast2.props testZ3(TestData)[5] - ignored
[6] cast3.props testZ3(TestData)[6] - ignored
[7] ex1.props testZ3(TestData)[7] - ignored
[8] ex2.props testZ3(TestData)[8] - ignored
[9] float.eq.props testZ3(TestData)[9] - ignored

Standard output

608416     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
608432     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
608432     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
608432     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
687068     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
687078     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
687078     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
687078     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
702882     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7688882425892802254.smt2 
702929     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15936297509173535096.smt2 
702945     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7571950135855577034.smt2 
702945     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9623413316078072445.smt2 
702945     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6442789182635263362.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10939997753275472142.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4369620989601473685.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11862512057313907953.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4680100899829541418.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1503545725103923023.smt2 
702960     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props422387299303765023.smt2 
702976     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3956888860292414840.smt2 
702976     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17465523704080509336.smt2 
702976     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2758361111776214192.smt2 
702976     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5883667637826323612.smt2 
702992     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5114995141221189132.smt2 
702992     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16657954489915211625.smt2 
702992     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props429528998887684939.smt2 
702992     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4468590789621669373.smt2 
703007     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17189051825561259669.smt2 
703007     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2778057836355423902.smt2 
703007     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15219313806273771569.smt2 
703054     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3954009443828383565.smt2 
703117     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11495534180027924954.smt2