Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

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