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] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0s | 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] | 0s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.004s | 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] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.002s | 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] | 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] | 0.001s | 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
597090 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 599955 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 642624 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 648691 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670045 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672950 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 715543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 721246 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 732860 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props5125150396598561487.smt2 732866 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props12961440916587051913.smt2 732868 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props7901900619479321475.smt2 732869 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props12753795485118120558.smt2 732873 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props6622082706372979818.smt2 732874 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3052821009208407764.smt2 732875 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props18421633385987166809.smt2 732876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props17642331083101925322.smt2 732877 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props10741050424623753135.smt2 732878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props11384574391987384493.smt2 732878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props3941257893374604844.smt2 732879 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7928079817307208943.smt2 732880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props17183434335124318215.smt2 732880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16636205090833746181.smt2 732881 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4933850492340138329.smt2 732882 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props6290433838846478596.smt2 732883 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props4292163399706334907.smt2 732884 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props10382752204824142425.smt2 732884 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props4639384912534030805.smt2 732885 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props4820738136221029203.smt2 732886 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4795237186072277140.smt2 732887 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props8968721224776473161.smt2 732888 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props2056466335797008315.smt2 732888 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props12420437626003792743.smt2