Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
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