dune « debug - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/debug/dune

blob: e47c832002d05e0a7507c3cdee92c19fa405a256 (plain)

(include_subdirs no)

(executable
 (name VericertTest)
 (libraries vericert)
 (flags (:standard -warn-error -A -w -8-9-16-20-26-27-32..36-39-41-44..45-50-60-67)))