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] | 0s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | 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] | 0s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0.001s | 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] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0.001s | 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
650895 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 654118 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 701012 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 708049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 731463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 734977 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 782217 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 789299 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 802739 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props612038265055903989.smt2 802740 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props12535287144392193657.smt2 802741 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props8295519049042392352.smt2 802742 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props1267080143936131650.smt2 802743 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props8171750642125077612.smt2 802743 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9841194101814396898.smt2 802744 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props12251181987904089619.smt2 802745 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props2444282099943489518.smt2 802747 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props12469983753805311459.smt2 802748 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props8534472925810252121.smt2 802749 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props16709870378941971196.smt2 802750 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props3754523434629909269.smt2 802750 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props2460952940458081461.smt2 802751 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props25697671164251103.smt2 802752 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props13192827999733691890.smt2 802753 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props12640166875310292799.smt2 802754 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props2092098613425051892.smt2 802755 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props12656974976984934259.smt2 802755 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props15878759112309408718.smt2 802757 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props529471265274053294.smt2 802758 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props7284884360238092160.smt2 802759 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props9330101224103289237.smt2 802760 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props7852359464253592020.smt2 802761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props14804215443704702675.smt2