Test Result : XsemanticsJvmModelGeneratorTest

0 failures (±0)

38 tests (±0)

Took 5.6 sec.

All Tests

Test name	Duration	Status
testAccessToInjectedFields	0.12 sec	Passed
testAccessToInjectedFieldsInExpressionsInConclusion	83 ms	Passed
testAccessToThisInExpressionsInConclusion	66 ms	Passed
testAuxiliaryFunctions	0.17 sec	Passed
testAuxiliaryFunctionsInvocation	93 ms	Passed
testAxiomWithTwoExpressionsInConclusion	0.22 sec	Passed
testCaching	0.12 sec	Passed
testCheckRule	60 ms	Passed
testEnvironmentCompositions	0.12 sec	Passed
testEnvironmentXExpression	0.21 sec	Passed
testErrorInformationWithNoEObjectArg	74 ms	Passed
testErrorSpecifications	0.13 sec	Passed
testFields	0.1 sec	Passed
testForLambdaWithAuxiliaryFunctionWithNoSideEffect	0.14 sec	Passed
testForScopeOfThis	0.1 sec	Passed
testInjectedExtensions	86 ms	Passed
testInstanceOfAsPremise_Issue_1	0.13 sec	Passed
testJudgmentDescriptions	58 ms	Passed
testJudgmentDescriptionsWithErrorSpecification	82 ms	Passed
testJudgmentOverride	0.25 sec	Passed
testOperatorsWithSlashes_Issue_6	0.11 sec	Passed
testOrExpressionInIfThenElse_Issue_46	77 ms	Passed
testOrExpressionInIfThenElse_Issue_46_2	97 ms	Passed
testOrExpressionInLambda_Issue_46	70 ms	Passed
testOrExpressions	0.17 sec	Passed
testOverrideJudgmentWithDifferentParamNames	0.16 sec	Passed
testRuleInvocationWithVariableDeclarationAsOutputParameter	52 ms	Passed
testRuleOverride	0.15 sec	Passed
testRuleWith3OutputParams	78 ms	Passed
testRuleWithTwoExpressionsInConclusion	0.11 sec	Passed
testRuleWithTwoOutputParams	95 ms	Passed
testSimpleRule	1.3 sec	Passed
testSystemExtendsSystemWithValidatorExtends	93 ms	Passed
testSystemWithExtends	0.37 sec	Passed
testSystemWithValidatorExtends	81 ms	Passed
testValidator	86 ms	Passed
typeNoSystem	9 ms	Passed
typeSystemWithNoPackage	60 ms	Passed