Index of /~adrpo33/sosdt/tests

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 README                  2006-10-03 03:43  493   
 mf-RML.tar.bz2          2006-10-03 03:45   11K  
 mf.pl.txt               2006-04-08 01:51  9.1K  
 test-MAUDE-MSOS.txt     2006-04-08 01:57  407   
 test-RML.txt            2006-04-07 15:48  4.2K  
 test-SICSTUS-prolog.txt 2006-04-11 01:16  1.8K  
 test-SWI-prolog.txt     2006-04-08 01:49  6.1K  

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