Skip to content

testSuite

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

testSuite

Folders and files

NameName
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
 
 
ErrorExtRefNonExistentClass.java
ErrorExtRefNonExistentClass.java
 
 
ErrorExtRefNonExistentMethod.java
ErrorExtRefNonExistentMethod.java
 
 
ErrorExtRefWrongConstructor.java
ErrorExtRefWrongConstructor.java
 
 
ErrorExtRefWrongParameterType.java
ErrorExtRefWrongParameterType.java
 
 
ErrorExtRefWrongRetType.java
ErrorExtRefWrongRetType.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
 
 
ErrorMissingAliasTypeParameter.java
ErrorMissingAliasTypeParameter.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