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] | 0.001s | passed |
| [14] bool3.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0.006s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] upd2.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] ite1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] float.eq.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] float1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float.sinDouble.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] cast3.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] quant2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] ex1.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.sqrt2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] types2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] int1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] float.sqrt1.props | testTranslation(TestData)[8] | 0.003s | 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
547308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 560699 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 569822 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 578691 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 620158 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 632170 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 640995 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649770 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 691464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props10911807016898044962.smt2 691466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props11833980149912753168.smt2 691468 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9580927414757043176.smt2 691469 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5722979992095693801.smt2 691471 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props12465210808991950493.smt2 691473 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12532093960490583929.smt2 691474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props6394657361933654803.smt2 691478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props56130071160019505.smt2 691479 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props2686737276161334932.smt2 691480 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props2372026494850515090.smt2 691482 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props2043046238005450841.smt2 691483 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props6446468193960575397.smt2 691485 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props13420387466480169249.smt2 691487 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props4948408504805374350.smt2 691488 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props5826290178136874683.smt2 691495 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props14874097536615378092.smt2 691496 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props1429498611490668664.smt2 691499 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props13804095628574018024.smt2 691501 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props2688261135405751444.smt2 691504 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props13893971824936241029.smt2 691506 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props8270234437830931999.smt2 691508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props2507535171317179873.smt2 691511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props15522370195797069960.smt2 691512 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props18156424740901023614.smt2