AStat/dune

5 lines
120 B
Text
Raw Permalink Normal View History

2024-05-29 11:47:47 +02:00
(executable
(name analyzer)
(libraries libs frontend zarith iterator domains)
(flags (:standard -warn-error -A)))