SIMPLE TESTS
============
This directors contains several sets of SIMPLE test programs:
- Basic
- Advanced
- KExceptions
- Kdiverse
The latter two sets are taken from the K Framework distribution.
Each directory contains:
- several test programs (*.smp),
- the funcon terms generated from those test programs (*.fct), and
- in some cases, configuration files providing sample input values (*.config).
Running Funcon Terms
--------------------
To run a test, you will first need to have built the SIMPLE interpreter
(see ../README.txt). Then invoke it as follows (using Kdiverse2.fct as an example):
> runfct-SIMPLE Kdiverse/Kdiverse2.fct
Tests involving reading input take their input from the individual .config files,
e.g. Kdiverse/Kdiverse2.config.
To run a test interactively, you should load the "SIMPLE-interactive.config"
configuration file:
> runfct-SIMPLE --config SIMPLE-interactive.config Kdiverse/Kdiverse2.fct
Regenerating Funcon Terms
-------------------------
Note: All funcon terms have already been generated, so regenerating them is only
necessary if you have added or modified a test program, or changed the CBS
definition of SIMPLE.
To generate the funcon terms from test files, you first need to have imported
and built the "SIMPLE-Editor" Spoofax project in Eclipse.
Then you can run the "regen-funcons" script. E.g.
> sh ./regen-funcons.sh Basic
will generate a *.fct file for each *.smp file in the folder "Basic".