SPL Tools Testing repository 3

Stochastic Performance Logic testing tools and utilities.

Brought to you by: ceresek, frantisekhaas, lacinam, sparasis, vojtechhorky

Renamed XML configuratoin file to spl-config.xml, added spl-brief.ini for minimalistic execution, removed obsolete scan.bat for invoking Scanner.

Authored by: lacinam 2013-01-28

Parent: [r18]

Child: [r20]

removed	/SPLconfig.xml
removed	/scan.bat
added	/spl-brief.ini
added	/spl-config.xml
changed	/src/cz/cuni/mff/d3s/spl/examples/StaticOne.java

File was removed.

File was removed.