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] | 0.001s | passed |
| [14] bool3.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0s | passed |
| [18] bool1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] upd2.props | testTranslation(TestData)[1] | 0.002s | 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] | 0.001s | passed |
| [23] float.sinDouble.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] cast3.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] quant2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.sqrt2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] types2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] int1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] float.sqrt1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] cast2.props | testTranslation(TestData)[9] | 0.001s | 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
517355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 529267 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 537698 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 546138 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 585769 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 597102 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 605369 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 613721 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 652019 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16710896762205074549.smt2 652021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props5316695739716135954.smt2 652025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props10344850569305799780.smt2 652026 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props3304146160412063616.smt2 652027 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10299312634020950268.smt2 652028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props8429514912585706911.smt2 652029 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props11411675855741446398.smt2 652031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props13512838545796961854.smt2 652032 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props17752187137038287559.smt2 652033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props1829591834550005842.smt2 652035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props14278599258374116073.smt2 652036 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props7754305309311671579.smt2 652037 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props579395124888448134.smt2 652038 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props432357876042106032.smt2 652039 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props14733779471022432381.smt2 652043 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props10818492786707803334.smt2 652045 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props8127124433285616687.smt2 652048 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props4010208267949894100.smt2 652049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props4793457424740321322.smt2 652050 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11833585211745443263.smt2 652051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props2476777066148658689.smt2 652052 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props7658585982322620129.smt2 652054 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13092493566474266710.smt2 652055 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props4746347568650537850.smt2