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

48

tests

0

failures

24

ignored

0.011s

duration

100%

successful

Tests

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

Standard output

480193     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
491026     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
498767     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
506536     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
542812     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
553231     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
561059     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
568849     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
605248     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props  saved in: /tmp/SMT_key_upd2.props8903832284276593859.smt2 
605248     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props  saved in: /tmp/SMT_key_quant2.props11628204196626170134.smt2 
605249     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props  saved in: /tmp/SMT_key_ex1.props2784629258713754690.smt2 
605250     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props  saved in: /tmp/SMT_key_float.sqrt2.props13564052252183273117.smt2 
605250     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props  saved in: /tmp/SMT_key_types2.props17375412244272601015.smt2 
605251     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props  saved in: /tmp/SMT_key_upd1.props10329438931283826290.smt2 
605251     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props  saved in: /tmp/SMT_key_int1.props3245908500916787565.smt2 
605252     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props  saved in: /tmp/SMT_key_float.sqrt1.props9363064230278654040.smt2 
605252     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props  saved in: /tmp/SMT_key_cast2.props8862042429683049690.smt2 
605253     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props  saved in: /tmp/SMT_key_bool2.props16160908707212690432.smt2 
605253     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props  saved in: /tmp/SMT_key_float2.props245328930960142071.smt2 
605254     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props  saved in: /tmp/SMT_key_cast1.props14227628508264815029.smt2 
605254     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props  saved in: /tmp/SMT_key_uninterpreted1.props5139253060882087498.smt2 
605255     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props  saved in: /tmp/SMT_key_bool3.props10931111718930122622.smt2 
605255     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props  saved in: /tmp/SMT_key_heap1.props6976394729988885306.smt2 
605256     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props  saved in: /tmp/SMT_key_quant1.props8974633755903784638.smt2 
605257     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props  saved in: /tmp/SMT_key_ex2.props9639483814853535127.smt2 
605257     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props  saved in: /tmp/SMT_key_bool1.props16480874485736492958.smt2 
605258     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props  saved in: /tmp/SMT_key_types1.props6458169051939883091.smt2 
605258     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props  saved in: /tmp/SMT_key_ite1.props8556243956176140223.smt2 
605259     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props  saved in: /tmp/SMT_key_float.eq.props4652661135219690694.smt2 
605259     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props  saved in: /tmp/SMT_key_float1.props7195405522952443618.smt2 
605260     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props  saved in: /tmp/SMT_key_float.sinDouble.props2588890694134741899.smt2 
605260     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props  saved in: /tmp/SMT_key_cast3.props16105870404105266659.smt2