Project

General

Profile

Download (325 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(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
 (site
15
  (lustrec verifiers))
16
 (optional))
(1-1/7)