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] | 0.001s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0s | 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] | 0.001s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0s | 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] | 0.001s | 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] | 0.001s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.sqrt2.props | testTranslation(TestData)[4] | 0s | passed |
| [5] types2.props | testTranslation(TestData)[5] | 0.001s | 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
578265 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 591578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 600744 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 610028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653202 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 665497 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 674721 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 683974 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 727093 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props12836383513422455223.smt2 727095 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15921027612592351833.smt2 727095 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props15899647886365119160.smt2 727096 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15182883231428981504.smt2 727097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props1345286951003745760.smt2 727097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props9275497341162045961.smt2 727098 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props6177238874131360590.smt2 727099 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props2113258248117191265.smt2 727099 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props5986688337878043911.smt2 727100 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props1856844298887069330.smt2 727101 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props3799567617174278613.smt2 727101 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props1410474346766707914.smt2 727102 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props10705898228641689877.smt2 727103 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props14030701527601618103.smt2 727104 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props5087136336931011879.smt2 727105 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9807047121043054704.smt2 727105 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props7185267752303755970.smt2 727106 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props1964146807152947737.smt2 727107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props883757659525306033.smt2 727107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props9991955444011892203.smt2 727108 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props1158569893243197797.smt2 727109 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11217621577300736361.smt2 727109 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13392923799337226849.smt2 727110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props14996139898986141785.smt2