Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0s | passed |
| [10] heap1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt2.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sinDouble.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] float.sqrt1.props | testZ3(TestData)[14] | - | ignored |
| [15] int1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] float.eq.props | testZ3(TestData)[17] | - | ignored |
| [18] bool3.props | testZ3(TestData)[18] | - | ignored |
| [19] types1.props | testZ3(TestData)[19] | - | ignored |
| [1] ite1.props | testZ3(TestData)[1] | - | ignored |
| [20] cast1.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] cast2.props | testZ3(TestData)[22] | - | ignored |
| [23] ex2.props | testZ3(TestData)[23] | - | ignored |
| [24] types2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float2.props | testZ3(TestData)[3] | - | ignored |
| [4] bool2.props | testZ3(TestData)[4] | - | ignored |
| [5] ex1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] uninterpreted1.props | testZ3(TestData)[7] | - | ignored |
| [8] upd1.props | testZ3(TestData)[8] | - | ignored |
| [9] float1.props | testZ3(TestData)[9] | - | ignored |
Standard output
564068 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567029 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 609131 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 615151 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 636163 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 639030 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680665 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 686441 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 698085 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props15355883474519720431.smt2 698086 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props10811001164265534329.smt2 698087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props11537308109247287724.smt2 698087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props15251895097315926040.smt2 698088 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props11846615003803040664.smt2 698089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3504639958737232776.smt2 698089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7742949672673365356.smt2 698091 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props3132138419747389051.smt2 698091 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props4286760800577516107.smt2 698092 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props18008658994354416400.smt2 698092 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props12805187847215717793.smt2 698093 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props5453262724878094903.smt2 698094 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props1177388311500908407.smt2 698094 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props11726684264981508951.smt2 698095 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props13737157094307483218.smt2 698096 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props16728398642513312399.smt2 698096 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props7247182469779051373.smt2 698097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props4452976301851166395.smt2 698097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props4513319579200320517.smt2 698098 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props16484249422166040162.smt2 698099 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9721691436363112977.smt2 698099 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props5992616657699616064.smt2 698100 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props10713523541666589313.smt2 698100 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props12947564110753731828.smt2