FilesExpand file tree

logging

/

testSuite

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

 

 

logging

/

testSuite

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
classes		classes
field_updates		field_updates
math		math
CorrectAfterIfUsingScope.java		CorrectAfterIfUsingScope.java
CorrectAlias.java		CorrectAlias.java
CorrectAliasExpressions.java		CorrectAliasExpressions.java
CorrectAliasMultiple.java		CorrectAliasMultiple.java
CorrectArithmeticBinaryOperations.java		CorrectArithmeticBinaryOperations.java
CorrectAssignementAfterDeclaration.java		CorrectAssignementAfterDeclaration.java
CorrectBooleanLitAndInvocations.java		CorrectBooleanLitAndInvocations.java
CorrectChainedVariableReferences.java		CorrectChainedVariableReferences.java
CorrectDependentRefinements.java		CorrectDependentRefinements.java
CorrectFPArithmetic.java		CorrectFPArithmetic.java
CorrectFunctionCallSameVariableName.java		CorrectFunctionCallSameVariableName.java
CorrectFunctionDeclarations.java		CorrectFunctionDeclarations.java
CorrectFunctionInInvocation.java		CorrectFunctionInInvocation.java
CorrectFunctionInvocation.java		CorrectFunctionInvocation.java
CorrectFunctionsTutorial.java		CorrectFunctionsTutorial.java
CorrectIfThen.java		CorrectIfThen.java
CorrectImplies.java		CorrectImplies.java
CorrectLongUsage.java		CorrectLongUsage.java
CorrectMethodInvocation.java		CorrectMethodInvocation.java
CorrectNoRefinements.java		CorrectNoRefinements.java
CorrectPrimitiveNumbersTypes.java		CorrectPrimitiveNumbersTypes.java
CorrectReadSpecificAssignment.java		CorrectReadSpecificAssignment.java
CorrectRecursion.java		CorrectRecursion.java
CorrectSearchIndexIntArray.java		CorrectSearchIndexIntArray.java
CorrectSearchValueIndexArray.java		CorrectSearchValueIndexArray.java
CorrectSimpleAssignment.java		CorrectSimpleAssignment.java
CorrectSimpleIfElse.java		CorrectSimpleIfElse.java
CorrectSpecificFunctionInvocation.java		CorrectSpecificFunctionInvocation.java
CorrectTernaryExpression.java		CorrectTernaryExpression.java
CorrectTrafficLightRGB.java		CorrectTrafficLightRGB.java
CorrectUnaryOperators.java		CorrectUnaryOperators.java
CorrectUsingAfterIf.java		CorrectUsingAfterIf.java
ErrorAfterIf.java		ErrorAfterIf.java
ErrorAfterIf2.java		ErrorAfterIf2.java
ErrorAlias.java		ErrorAlias.java
ErrorAliasArgumentSize.java		ErrorAliasArgumentSize.java
ErrorAliasSimple.java		ErrorAliasSimple.java
ErrorAliasTypeMismatch.java		ErrorAliasTypeMismatch.java
ErrorArithmeticBinaryOperations.java		ErrorArithmeticBinaryOperations.java
ErrorArithmeticFP1.java		ErrorArithmeticFP1.java
ErrorArithmeticFP2.java		ErrorArithmeticFP2.java
ErrorArithmeticFP3.java		ErrorArithmeticFP3.java
ErrorArithmeticFP4.java		ErrorArithmeticFP4.java
ErrorAssignementAfterDeclaration.java		ErrorAssignementAfterDeclaration.java
ErrorBooleanFunInvocation.java		ErrorBooleanFunInvocation.java
ErrorBooleanLiteral.java		ErrorBooleanLiteral.java
ErrorDependentRefinement.java		ErrorDependentRefinement.java
ErrorFunctionDeclarations.java		ErrorFunctionDeclarations.java
ErrorFunctionInvocation.java		ErrorFunctionInvocation.java
ErrorFunctionInvocation1.java		ErrorFunctionInvocation1.java
ErrorFunctionInvocationParams.java		ErrorFunctionInvocationParams.java
ErrorGhostArgsTypes.java		ErrorGhostArgsTypes.java
ErrorGhostNumberArgs.java		ErrorGhostNumberArgs.java
ErrorIfAssignment.java		ErrorIfAssignment.java
ErrorIfAssignment2.java		ErrorIfAssignment2.java
ErrorImplementationSearchValueIntArray.java		ErrorImplementationSearchValueIntArray.java
ErrorLenZeroIntArray.java		ErrorLenZeroIntArray.java
ErrorLongUsage1.java		ErrorLongUsage1.java
ErrorLongUsage2.java		ErrorLongUsage2.java
ErrorNoRefinementsInVar.java		ErrorNoRefinementsInVar.java
ErrorRecursion1.java		ErrorRecursion1.java
ErrorSearchIntArray.java		ErrorSearchIntArray.java
ErrorSearchValueIntArray1.java		ErrorSearchValueIntArray1.java
ErrorSearchValueIntArray2.java		ErrorSearchValueIntArray2.java
ErrorSimpleAssignment.java		ErrorSimpleAssignment.java
ErrorSpecificArithmetic.java		ErrorSpecificArithmetic.java
ErrorSpecificValuesIf.java		ErrorSpecificValuesIf.java
ErrorSpecificValuesIf2.java		ErrorSpecificValuesIf2.java
ErrorSpecificVarInRefinement.java		ErrorSpecificVarInRefinement.java
ErrorSpecificVarInRefinementIf.java		ErrorSpecificVarInRefinementIf.java
ErrorSyntax1.java		ErrorSyntax1.java
ErrorTernaryExpression.java		ErrorTernaryExpression.java
ErrorTrafficLightRGB.java		ErrorTrafficLightRGB.java
ErrorTypeInRefinements.java		ErrorTypeInRefinements.java
ErrorUnaryOpMinus.java		ErrorUnaryOpMinus.java
ErrorUnaryOperators.java		ErrorUnaryOperators.java
SimpleTest.java		SimpleTest.java
View all files