19 lines
556 B
Markdown
19 lines
556 B
Markdown
# CPS Lab 3 Exercise (2021-12-22)
|
|
|
|
- Mariano Sciacco
|
|
- Federico Carboni
|
|
- Giuseppe Rossano
|
|
- Alessandro Benetti
|
|
|
|
## Notes
|
|
|
|
> Note 1: requires `gnuplot` and `phaverlite` (see https://www.cs.unipr.it/~zaffanella/PPLite/PHAVerLite)
|
|
|
|
> Note 2: all credits to `phaver` executable in this folder goes to Enea Zaffanella
|
|
|
|
> Note 3: execute `./phaver <filename.pha>` to compile the `.pha` file
|
|
|
|
> Note 4: execute `gnuplot --persist -c phaverplot.gp filename.txt` to generate the graph
|
|
|
|
> Note 5: results of the plot are inside the respective folders as pdf files.
|