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] | 0s | passed |
| [14] bool3.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0s | 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] | 0s | passed |
| [1] upd2.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] ite1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] float.eq.props | testTranslation(TestData)[21] | 0s | passed |
| [22] float1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float.sinDouble.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast3.props | testTranslation(TestData)[24] | 0s | passed |
| [2] quant2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0.003s | 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.002s | 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
493558 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 505335 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 513412 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 521593 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 559157 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570003 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 578319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 586274 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 623960 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props12953758569813817.smt2 623961 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props338459872693293159.smt2 623964 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props12052300575383407805.smt2 623965 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props1315770102727793792.smt2 623967 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props1859053588946920141.smt2 623968 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props6170560562531123136.smt2 623971 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props7367681323665238467.smt2 623971 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props7587167351780548067.smt2 623972 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props9236384272329219943.smt2 623972 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props15467986959052689412.smt2 623973 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6677925236882823525.smt2 623973 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props1950699790184245667.smt2 623974 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props10786860180331239981.smt2 623974 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props12211109667508460991.smt2 623975 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props17915913848507495924.smt2 623976 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props16793054605568050596.smt2 623977 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props165462109052617049.smt2 623977 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props13983848897063088966.smt2 623978 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props9487861813422778399.smt2 623978 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11419391016553366365.smt2 623979 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props2761479115369912223.smt2 623979 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props5536879747610916872.smt2 623980 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props10823808013020784161.smt2 623981 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props10846664252394312056.smt2