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] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0s | 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] | 0.001s | passed |
| [22] float1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float.sinDouble.props | testTranslation(TestData)[23] | 0.001s | 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] | 0s | passed |
| [7] int1.props | testTranslation(TestData)[7] | 0s | passed |
| [8] float.sqrt1.props | testTranslation(TestData)[8] | 0.001s | 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
466333 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 477146 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 484824 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 492542 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 528415 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 538630 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 546314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 554040 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 589972 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props13128313601095260535.smt2 589974 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7188989147226346129.smt2 589975 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props14223987077744038695.smt2 589976 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props18088077947740827030.smt2 589977 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props8567166896803555770.smt2 589978 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props14112305785455097112.smt2 589980 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props399667578340474609.smt2 589981 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props7960168593669889007.smt2 589982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props4939613513418395465.smt2 589983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props15099262996482392961.smt2 589984 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props7502751884232812371.smt2 589985 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props13807234034061817848.smt2 589986 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props17257185180288927413.smt2 589988 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props13041893051261949954.smt2 589989 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props11306915916931732549.smt2 589990 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4695903112380831883.smt2 589991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props7459771258330619153.smt2 589993 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props13181441722273036042.smt2 589994 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7916670249179426211.smt2 589995 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props1043675425453194446.smt2 589996 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15614263719698362774.smt2 589997 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props732904052758414436.smt2 589998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13830417454284618081.smt2 589999 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props16986076575029253064.smt2