Project

General

Profile

Download (325 Bytes) Statistics
| Branch: | Tag: | Revision:
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))