Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0.001s | 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] | 0.001s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | 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.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | 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.001s | 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.002s | 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
624063 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627593 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 671656 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 678085 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700634 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 703856 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 750442 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757150 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 770603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props7723159256347033102.smt2 770605 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props14067635454745224280.smt2 770606 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props3205807137963615427.smt2 770607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13546895187375414975.smt2 770611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props6677626678270420095.smt2 770612 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16466846605915385710.smt2 770614 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props4189913676821303815.smt2 770615 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props10429551755538135572.smt2 770617 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props913014080928224655.smt2 770619 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props8183827816869220664.smt2 770620 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props12467205239759684487.smt2 770622 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props11547681241153278835.smt2 770623 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props10859404612762443262.smt2 770625 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8110509108364160121.smt2 770626 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props9441211205326740144.smt2 770627 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props1155406731166865116.smt2 770628 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props17290404892633554363.smt2 770629 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props7124304721371124336.smt2 770629 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props4130011253417932431.smt2 770630 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props46167908505566984.smt2 770631 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props5295905463418827279.smt2 770631 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props15849605721619587528.smt2 770632 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props88423231540318140.smt2 770633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props7095089898187711133.smt2