![[Jenkins]](/sos/static/a3a72552/images/svgs/logo.svg){kind=logo}
Test Result : CodeSynthesisTest
0 failures
(±0)
16 tests
(±0)
All Tests
| Test name | Duration | Status |
|---|---|---|
| defaultConstants | 4 ms | Passed |
| goldbachConjectureSynthesis | 0.1 sec | Passed |
| justABooleanConstant | 0 ms | Passed |
| justAVariable | 0 ms | Passed |
| justAnIntegerConstant | 0 ms | Passed |
| justOneComponent | 0 ms | Passed |
| moreThanOneComponent | 0 ms | Passed |
| reduceValuesWithConstants | 5 ms | Passed |
| scriptResolutionWithOneTheory | 19 ms | Passed |
| scriptResolutionWithOneTheoryBooleanOutput | 26 ms | Passed |
| scriptResolutionWithTwoTheories | 56 ms | Passed |
| scriptResolutionWithoutComponents | 14 ms | Passed |
| scriptResolutionWithoutInputs | 27 ms | Passed |
| synthesisWithCharactersInSpecifications | 23 ms | Passed |
| testSynthesisTernaryOperator | 49 ms | Passed |
| useRealInsteadOfIntegerToSolveScript | 8 ms | Passed |