lustrec/src/tools/zustre/dune @ ca7ff3f7
| 1 | 719ae9fd | Lélio Brun | (include_subdirs no) |
|---|---|---|---|
| 2 | |||
| 3 | (library |
||
| 4 | (name zustre_verifier) |
||
| 5 | (public_name lustrec.zustre_verifier) |
||
| 6 | (wrapped false) |
||
| 7 | (modules :standard \ zustre_test) |
||
| 8 | (libraries verifier_register lustrec_lib z3 yojson) |
||
| 9 | (optional)) |
||
| 10 | |||
| 11 | (plugin |
||
| 12 | (name zustre_verifier) |
||
| 13 | (libraries lustrec.zustre_verifier) |
||
| 14 | ca7ff3f7 | Lélio Brun | (site |
| 15 | (lustrec verifiers)) |
||
| 16 | 719ae9fd | Lélio Brun | (optional)) |