MasterHandlerTest

48

tests

0

failures

24

ignored

0.011s

duration

100%

successful

Tests

Test Method name Duration Result
[10] quant1.props testTranslation(TestData)[10] 0s passed
[11] bool1.props testTranslation(TestData)[11] 0s passed
[12] quant2.props testTranslation(TestData)[12] 0.001s passed
[13] types1.props testTranslation(TestData)[13] 0s passed
[14] bool3.props testTranslation(TestData)[14] 0s passed
[15] types2.props testTranslation(TestData)[15] 0s passed
[16] heap1.props testTranslation(TestData)[16] 0.001s passed
[17] ex1.props testTranslation(TestData)[17] 0s passed
[18] float1.props testTranslation(TestData)[18] 0s passed
[19] ex2.props testTranslation(TestData)[19] 0s passed
[1] cast3.props testTranslation(TestData)[1] 0s passed
[20] float.sqrt1.props testTranslation(TestData)[20] 0s passed
[21] cast2.props testTranslation(TestData)[21] 0.001s passed
[22] ite1.props testTranslation(TestData)[22] 0s passed
[23] int1.props testTranslation(TestData)[23] 0s passed
[24] upd1.props testTranslation(TestData)[24] 0s passed
[2] float.sqrt2.props testTranslation(TestData)[2] 0s passed
[3] upd2.props testTranslation(TestData)[3] 0s passed
[4] cast1.props testTranslation(TestData)[4] 0s passed
[5] float.sinDouble.props testTranslation(TestData)[5] 0s passed
[6] float2.props testTranslation(TestData)[6] 0s passed
[7] uninterpreted1.props testTranslation(TestData)[7] 0s passed
[8] float.eq.props testTranslation(TestData)[8] 0s passed
[9] bool2.props testTranslation(TestData)[9] 0s passed
[10] quant1.props testZ3(TestData)[10] - ignored
[11] bool1.props testZ3(TestData)[11] - ignored
[12] quant2.props testZ3(TestData)[12] - ignored
[13] types1.props testZ3(TestData)[13] - ignored
[14] bool3.props testZ3(TestData)[14] - ignored
[15] types2.props testZ3(TestData)[15] - ignored
[16] heap1.props testZ3(TestData)[16] - ignored
[17] ex1.props testZ3(TestData)[17] - ignored
[18] float1.props testZ3(TestData)[18] - ignored
[19] ex2.props testZ3(TestData)[19] - ignored
[1] cast3.props testZ3(TestData)[1] - ignored
[20] float.sqrt1.props testZ3(TestData)[20] - ignored
[21] cast2.props testZ3(TestData)[21] - ignored
[22] ite1.props testZ3(TestData)[22] - ignored
[23] int1.props testZ3(TestData)[23] - ignored
[24] upd1.props testZ3(TestData)[24] - ignored
[2] float.sqrt2.props testZ3(TestData)[2] - ignored
[3] upd2.props testZ3(TestData)[3] - ignored
[4] cast1.props testZ3(TestData)[4] - ignored
[5] float.sinDouble.props testZ3(TestData)[5] - ignored
[6] float2.props testZ3(TestData)[6] - ignored
[7] uninterpreted1.props testZ3(TestData)[7] - ignored
[8] float.eq.props testZ3(TestData)[8] - ignored
[9] bool2.props testZ3(TestData)[9] - ignored