| testAccessToOutputParamInsideClosure | 0.14 sec | Passed |
| testAssignmentToInputParam | 0.11 sec | Passed |
| testAssignmentToOutputParam | 0.13 sec | Passed |
| testDuplicateJudgmentDescriptionSymbols | 0.11 sec | Passed |
| testErrorNoSideEffect | 0.1 sec | Passed |
| testErrorSpecifications | 0.12 sec | Passed |
| testFjExpressionTypingRules | 0.11 sec | Passed |
| testMoreThan3OutputParams | 0.1 sec | Passed |
| testNoAuxFunForAuxiliaryDescription | 96 ms | Passed |
| testNoInputParam | 0.1 sec | Passed |
| testNoJudgmentDescriptionForRule | 0.13 sec | Passed |
| testNoJudgmentDescriptionForRuleInvocation | 0.1 sec | Passed |
| testNoRuleForJudgmentDescription | 0.11 sec | Passed |
| testNoSideEffectButNoError | 0.11 sec | Passed |
| testRuleConclusionNotSubtype | 0.12 sec | Passed |
| testRuleConclusionNotSubtypeBoth | 0.12 sec | Passed |
| testRuleInvocationNotSubtype | 0.14 sec | Passed |
| testRuleInvocationWithInputParamPassedAsOutput | 0.1 sec | Passed |
| testRuleInvocationWithOutputArgInsideClosure | 0.11 sec | Passed |
| testRuleInvocationWithWrongOutputArg | 0.1 sec | Passed |
| testRuleInvocationWithWrongOutputArg2 | 94 ms | Passed |
| testRuleWithBooleanExpressionsWithNoSideEffectInsideClosure | 0.13 sec | Passed |
| testRulesOfTheSameKindWithSameInputArgumentTypes | 96 ms | Passed |
| testRulesWithExpressionInConclusionWrong | 0.1 sec | Passed |
| testRulesWithSameEnvironmentNames | 99 ms | Passed |
| testSystemExtendsInvalidBaseSystem | 93 ms | Passed |
| testValidatorExtendsNotAbstractDeclarativeValidator | 81 ms | Passed |
| testWrongReturnInPremises | 0.1 sec | Passed |
| testWrongThrowInPremises | 0.1 sec | Passed |
| testWrongVariableDeclarationAsInputArgument | 0.1 sec | Passed |
| testWrongVariableDeclarationAsOutputArgument | 0.1 sec | Passed |
![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
