Index of /~adrpo33/sosdt/tests
Name Last modified Size Description
Parent Directory -
test-RML.txt 2006-04-07 15:48 4.2K
test-SWI-prolog.txt 2006-04-08 01:49 6.1K
mf.pl.txt 2006-04-08 01:51 9.1K
test-MAUDE-MSOS.txt 2006-04-08 01:57 407
test-SICSTUS-prolog.txt 2006-04-11 01:16 1.8K
README 2006-10-03 03:43 493
mf-RML.tar.bz2 2006-10-03 03:45 11K
Tests area for SOS2006
- mf.pl.txt is the SICStus and SWI-Prolog testsuite
- mf-RML.tar.bz2 is the RML testsuite
+ this is also present in the RML system
- MAUDE MSOS Tool testsuite can be downloaded from here:
+ http://maude-msos-tool.sourceforge.net/case-studies.html
- the test-* are self describing
For the RML testsuite rml compiler system is needed:
http://www.ida.liu.se/~pelab/rml
The Mini-Freja is part of the rml examples.
2006-10-02
Adrian Pop/
Last update: 2006-10-02