Chalice/readme.txt


1
2
3
4
5
6
7


Chalice - Verification of Concurrent Software
=============================================

Compiling Chalice: make.bat
Running Chalice: chalice.bat <file.chalice> [-params]
Running the tests for Chalice: see tests/readme.txt