Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] bool2.props | testTranslation(TestData)[10] | 0s | 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] | 0.001s | passed |
| [18] bool1.props | testTranslation(TestData)[18] | 0.001s | 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] | 0.001s | 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] | 0s | passed |
| [24] cast3.props | testTranslation(TestData)[24] | 0s | 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] | 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
442667 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 452832 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 459983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 467331 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 501399 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 511165 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 518461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525778 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 559868 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props4475414065487968250.smt2 559870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props9309940354396576860.smt2 559871 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props11094130570450907833.smt2 559872 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5378151971749247911.smt2 559873 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props15928886386722459008.smt2 559874 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props14796578629058807845.smt2 559875 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props17155957933548032723.smt2 559876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props1062537768535513614.smt2 559877 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props10929200501103704715.smt2 559878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props3493127814123257404.smt2 559879 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props2338389451255349224.smt2 559879 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props7352736032917207274.smt2 559880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props8376030902552929290.smt2 559881 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props10384234301069575190.smt2 559882 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props6002586712349097963.smt2 559884 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props11216338884878689191.smt2 559885 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props4841520145055352739.smt2 559885 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props15744899131944870519.smt2 559886 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props8677882864906141974.smt2 559887 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props9972903924245240105.smt2 559888 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props331735090293062760.smt2 559889 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props935877936291064284.smt2 559890 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props1851564048827818581.smt2 559891 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13646816563985136210.smt2