| Test |
Method name |
Duration |
Result |
| [10] quant1.props |
testTranslation(TestData)[10] |
0.001s |
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] |
0.001s |
passed |
| [16] heap1.props |
testTranslation(TestData)[16] |
0.001s |
passed |
| [17] ex1.props |
testTranslation(TestData)[17] |
0s |
passed |
| [18] float1.props |
testTranslation(TestData)[18] |
0.001s |
passed |
| [19] ex2.props |
testTranslation(TestData)[19] |
0s |
passed |
| [1] cast3.props |
testTranslation(TestData)[1] |
0.001s |
passed |
| [20] float.sqrt1.props |
testTranslation(TestData)[20] |
0.001s |
passed |
| [21] cast2.props |
testTranslation(TestData)[21] |
0s |
passed |
| [22] ite1.props |
testTranslation(TestData)[22] |
0s |
passed |
| [23] int1.props |
testTranslation(TestData)[23] |
0.001s |
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] |
0.001s |
passed |
| [5] float.sinDouble.props |
testTranslation(TestData)[5] |
0s |
passed |
| [6] float2.props |
testTranslation(TestData)[6] |
0s |
passed |
| [7] uninterpreted1.props |
testTranslation(TestData)[7] |
0.001s |
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 |