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

48

tests

0

failures

24

ignored

0.294s

duration

100%

successful

Tests

Test Method name Duration Result
[10] float.sinDouble.props testTranslation(TestData)[10] 0s passed
[11] float.sqrt1.props testTranslation(TestData)[11] 0.001s passed
[12] float.sqrt2.props testTranslation(TestData)[12] 0.001s passed
[13] float1.props testTranslation(TestData)[13] 0.001s passed
[14] float2.props testTranslation(TestData)[14] 0.001s passed
[15] heap1.props testTranslation(TestData)[15] 0.001s passed
[16] int1.props testTranslation(TestData)[16] 0.003s passed
[17] ite1.props testTranslation(TestData)[17] 0.001s passed
[18] quant1.props testTranslation(TestData)[18] 0.001s passed
[19] quant2.props testTranslation(TestData)[19] 0.004s passed
[1] bool1.props testTranslation(TestData)[1] 0.001s passed
[20] types1.props testTranslation(TestData)[20] 0.001s passed
[21] types2.props testTranslation(TestData)[21] 0.001s passed
[22] uninterpreted1.props testTranslation(TestData)[22] 0.011s passed
[23] upd1.props testTranslation(TestData)[23] 0.001s passed
[24] upd2.props testTranslation(TestData)[24] 0.001s passed
[2] bool2.props testTranslation(TestData)[2] 0.001s passed
[3] bool3.props testTranslation(TestData)[3] 0.001s passed
[4] cast1.props testTranslation(TestData)[4] 0.001s passed
[5] cast2.props testTranslation(TestData)[5] 0.001s passed
[6] cast3.props testTranslation(TestData)[6] 0.001s passed
[7] ex1.props testTranslation(TestData)[7] 0.001s passed
[8] ex2.props testTranslation(TestData)[8] 0.001s passed
[9] float.eq.props testTranslation(TestData)[9] 0s 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

542375     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
542375     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
542375     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
542375     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
605394     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
605394     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
605394     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
605394     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
618416     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.props14790062783582020938.smt2 
618416     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.props6511201101618525828.smt2 
618416     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.props10013534424714216602.smt2 
618416     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.props17108004482412520313.smt2 
618416     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.props16428580905160311895.smt2 
618416     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.props2250516762695519365.smt2 
618416     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.props13124831456268474961.smt2 
618416     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.props9212311972598743615.smt2 
618416     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.props15594449096030112261.smt2 
618416     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.props11268196061474425305.smt2 
618416     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.props9563288756829388082.smt2 
618416     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.props12547267607996312623.smt2 
618416     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.props16509458267349446022.smt2 
618432     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.props9604600632533064245.smt2 
618432     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.props17261902313301630221.smt2 
618432     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.props1120441143353358751.smt2 
618432     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.props167048631844978376.smt2 
618432     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.props15235802753414083504.smt2 
618432     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.props12950745095730968823.smt2 
618432     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.props15720227791900607118.smt2 
618432     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.props262737998522462643.smt2 
618432     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.props11464761496948670490.smt2 
618447     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.props13820661751795350564.smt2 
618447     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.props18312676317637692744.smt2