2.5 Results
THESE RESULTS ARE NOW OBSOLETE. PLEASE CONSULT THE
CELIA plugin site.
The results are given for each domain and each parameter using:
- Log file:
is a directory in
sample/log containing a log file and the files storing the shapes generated
- Constraint:
is the most interesting constraint synthesized by the analysis; this constraint is given in the specification language (see Specification logic).
In the HTML version of this manual, it is possible to browse the log directory.
The present time and memory performances have been obtained on an Intel 686 2GHz and 1 Go of RAM.