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] | 0.001s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0s | passed |
| [18] bool1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0s | 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] | 0s | passed |
| [22] float1.props | testTranslation(TestData)[22] | 0s | passed |
| [23] float.sinDouble.props | testTranslation(TestData)[23] | 0s | passed |
| [24] cast3.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] quant2.props | testTranslation(TestData)[2] | 0s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0.001s | 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] | 0.001s | 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
489705 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 501610 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 509483 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 517848 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 555432 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 566390 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 574250 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582112 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 618982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props1516465362609502442.smt2 618983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props33531314911435206.smt2 618983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16045999506973842463.smt2 618984 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5823427831731349476.smt2 618985 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props11590930506198525189.smt2 618985 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props9084344394330569877.smt2 618986 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props7745540703625650945.smt2 618986 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8331718529992094430.smt2 618987 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props13196943225981315964.smt2 618987 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10034024973871102645.smt2 618988 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props1461213936921693555.smt2 618988 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props16331045444133754556.smt2 618989 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props12466925995689778247.smt2 618990 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props15391919574492460774.smt2 618990 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props2910701695337701715.smt2 618991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props3172865864464858271.smt2 618991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props11253328776217946604.smt2 618992 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props6534982764668033265.smt2 618993 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props1874624568276641355.smt2 618993 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props4761900134735732972.smt2 618993 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props4603833765836963585.smt2 618994 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props7878904334578531259.smt2 618995 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props4380126808150257375.smt2 618995 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props12199779557966945780.smt2