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] | 0.001s | passed |
[12] cast1.props | testTranslation(TestData)[12] | 0.001s | passed |
[13] uninterpreted1.props | testTranslation(TestData)[13] | 0s | passed |
[14] bool3.props | testTranslation(TestData)[14] | 0s | passed |
[15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
[16] quant1.props | testTranslation(TestData)[16] | 0.015s | 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] | 0.001s | 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] | 0.001s | 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] | 0s | passed |
[7] int1.props | testTranslation(TestData)[7] | 0.001s | passed |
[8] float.sqrt1.props | testTranslation(TestData)[8] | 0.001s | 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
597396 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 611672 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 621458 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 631192 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 676770 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 690031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 754315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3174509031607919420.smt2 754316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props14745316519880004034.smt2 754317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props8398007288374482027.smt2 754317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props6051122561065653253.smt2 754318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props17060705846071045436.smt2 754319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props8135678178589768238.smt2 754320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props2296928000755822535.smt2 754320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props10106681711467446477.smt2 754321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props14201731319101680471.smt2 754322 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props9992673479041564027.smt2 754322 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6356144244115059967.smt2 754323 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props4875112495554989122.smt2 754324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props5259405176576052610.smt2 754325 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props13475020498867084918.smt2 754325 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props10265182006263578445.smt2 754341 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props14338937430157060635.smt2 754343 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props16372846864037896254.smt2 754344 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props11088237989285438979.smt2 754345 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props3453501130973801491.smt2 754346 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props4957289247527059191.smt2 754347 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15635223007260146342.smt2 754348 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props14870761392260497373.smt2 754350 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17453252567983026421.smt2 754351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props10538138257635584077.smt2