| Test |
Method name |
Duration |
Result |
| [10] bool2.props |
testTranslation(TestData)[10] |
0s |
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.002s |
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] |
0.007s |
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.005s |
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] |
0s |
passed |
| [24] cast3.props |
testTranslation(TestData)[24] |
0s |
passed |
| [2] quant2.props |
testTranslation(TestData)[2] |
0s |
passed |
| [3] ex1.props |
testTranslation(TestData)[3] |
0.008s |
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] |
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 |