Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] bool2.props | testTranslation(TestData)[10] | 0s | passed |
| [11] float2.props | testTranslation(TestData)[11] | 0s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] uninterpreted1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] bool3.props | testTranslation(TestData)[14] | 0s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] upd2.props | testTranslation(TestData)[1] | 0.001s | 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] | 0s | 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] | 0s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.sqrt2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] types2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] int1.props | testTranslation(TestData)[7] | 0s | passed |
| [8] float.sqrt1.props | testTranslation(TestData)[8] | 0s | passed |
| [9] cast2.props | testTranslation(TestData)[9] | 0.001s | 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
589965 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603512 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 613482 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 622908 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668394 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680934 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 690765 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700008 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744370 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props567574024386194962.smt2 744371 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15748330840913524435.smt2 744371 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props7266074576938499307.smt2 744372 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5660249808847152679.smt2 744373 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props13816093268744200377.smt2 744373 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props9827897970363514303.smt2 744374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props2584401937385515916.smt2 744374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8951274950270901796.smt2 744375 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props2118878997405455604.smt2 744376 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props5672284664489791210.smt2 744376 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props2594728576735514861.smt2 744377 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props15088388451734995459.smt2 744378 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props10024477282502407581.smt2 744379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props2755184476619418898.smt2 744379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props17724291351638737259.smt2 744380 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4153827584364832864.smt2 744381 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props11401933705872377978.smt2 744382 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props5620057371426218805.smt2 744382 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props2499213207322762879.smt2 744383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props7909830454466136066.smt2 744384 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props14024082577545807196.smt2 744384 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11083694833269670958.smt2 744385 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props16799001894007470594.smt2 744386 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13432397463787183177.smt2