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.002s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | 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] | 0.001s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.011s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0.001s | 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.007s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.004s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.002s | 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
573413 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 576521 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 619230 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 625800 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649186 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 652563 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699768 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 706157 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 719702 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props4461045340810750204.smt2 719704 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props7733003391549282783.smt2 719705 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12097109118668172540.smt2 719707 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10223217621466890243.smt2 719716 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props13509635191053487833.smt2 719718 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props13385383142639310619.smt2 719720 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7627452492212618920.smt2 719724 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props17744740437481631158.smt2 719727 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props17885053258844449712.smt2 719729 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props15966902069574425118.smt2 719730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props7423129206075821958.smt2 719732 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props393424886515243318.smt2 719734 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props17471173595414568998.smt2 719736 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props2234469942425297511.smt2 719737 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props17809916689955706609.smt2 719739 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props10763433616868050766.smt2 719741 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props2068008815313780659.smt2 719743 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props18438826433711874046.smt2 719744 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props3462521663387002419.smt2 719746 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props7412086062894923751.smt2 719750 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props1003920137518840948.smt2 719761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props18352645443770465387.smt2 719763 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props3528624119740549833.smt2 719765 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props18395735761980615934.smt2