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] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.001s | 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.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] | 0.001s | 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] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0s | 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
563853 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 566838 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 613231 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 633682 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 636560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677300 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 683022 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 694652 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props9760827563531319019.smt2 694653 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props17259139711409578367.smt2 694654 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6384547773688503730.smt2 694654 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10406569286411826717.smt2 694655 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props4632038492273608638.smt2 694656 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props8074246406626274600.smt2 694656 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props4793003487047804881.smt2 694657 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12133718730176590712.smt2 694658 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props3524518933345614247.smt2 694658 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13456981660186269604.smt2 694659 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props9616399450753033306.smt2 694660 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props9287400293180871531.smt2 694660 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props11022720054869510826.smt2 694661 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8929133535670184276.smt2 694662 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props15047514013764410880.smt2 694663 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15453742375715246085.smt2 694663 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props17097088873582455752.smt2 694664 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props9304100386650272990.smt2 694665 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props470621571836582907.smt2 694665 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props435965130237444215.smt2 694666 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props13346511949866985895.smt2 694666 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props8829814012613088658.smt2 694667 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props4474680027984237269.smt2 694668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props11341547783891260124.smt2