Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
This example is made by Nick Battle and it illustrates how one can 
perform the traditional factorial functionality using the concurrency
primitives in VDM++.

#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= Nick Battle
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#ENTRY_POINT=new Factorial().factorial(20)
#EXPECTED_RESULT=NO_ERROR_TYPE_CHECK
#******************************************************
New to GrepCode? Check out our FAQ X