Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

48

tests

0

failures

24

ignored

0.052s

duration

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