Revision ca7ff3f7
Added by Lélio Brun 7 months ago
| src/tools/zustre/dune | ||
|---|---|---|
| 11 | 11 |
(plugin |
| 12 | 12 |
(name zustre_verifier) |
| 13 | 13 |
(libraries lustrec.zustre_verifier) |
| 14 |
(site (lustrec verifiers)) |
|
| 14 |
(site |
|
| 15 |
(lustrec verifiers)) |
|
| 15 | 16 |
(optional)) |
Also available in: Unified diff
reformatting