Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
This example is made by Bernhard K. Aichernig and Andreas Kerschbaumer 
and it contains a VDM model for a Static and Dynamic Semantics of a Simple 
Programming Language. The example has been an assignment in the exercises 
of the software technology course at the Technical University Graz, Austria. 

#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= ernhard K. Aichernig and Andreas Kerschbaumer
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#DOCUMENT=proglang.tex
#ENTRY_POINT=Test`RunTypeCheck()
#ENTRY_POINT=Test`RunEval()
#EXPECTED_RESULT=NO_ERROR_INTERPRETER
#******************************************************
New to GrepCode? Check out our FAQ X