![[Jenkins]](/sos/static/99fe9f0d/images/svgs/logo.svg){kind=logo}
Test Result : SMTLibTest
0 failures
(±0)
, 1 skipped
(±0)
32 tests
(±0)
All Tests
| Test name | Duration | Status |
|---|---|---|
| allSolutionsOfAModel | 0.12 sec | Passed |
| allSolutionsOfAModel2 | 0 ms | Skipped |
| allSolutionsOfAModel3 | 35 ms | Passed |
| assertion | 0 ms | Passed |
| binary | 2 ms | Passed |
| booleanClassConversion | 0 ms | Passed |
| charAsIntegers | 1 ms | Passed |
| constant | 0 ms | Passed |
| decimal | 0 ms | Passed |
| declaration | 0 ms | Passed |
| exists | 0 ms | Passed |
| expression | 0 ms | Passed |
| falseBooleanConversion | 0 ms | Passed |
| forall | 1 ms | Passed |
| functionDeclaration | 0 ms | Passed |
| functionDefinition | 0 ms | Passed |
| hex | 0 ms | Passed |
| integerClassConversion | 0 ms | Passed |
| keyword | 2 ms | Passed |
| negativeExponentialRealConversion | 0 ms | Passed |
| negativeIntegerConversion | 0 ms | Passed |
| negativeRealConversion | 0 ms | Passed |
| noSlutionForAProblemWithoutSolution | 9 ms | Passed |
| numberClassConversion | 0 ms | Passed |
| numeral | 0 ms | Passed |
| positiveExponentialRealConversion | 0 ms | Passed |
| positiveIntegerConversion | 0 ms | Passed |
| positiveRealConversion | 0 ms | Passed |
| problemWithNegativeIntegers | 11 ms | Passed |
| solutionForAProblemWithUniqueSolution | 11 ms | Passed |
| symbols | 1 ms | Passed |
| trueBooleanConversion | 0 ms | Passed |