Add ocamlopt flags

filipeom · filipeom · commit d4b7b4bd618e · 2026-01-14T16:13:04.000+01:00
diff --git a/dune b/dune
@@ -6,3 +6,8 @@
    (not %{lib-available:bitwuzla-cxx})
    (not %{lib-available:colibri2.core})
    (not %{lib-available:cvc5}))))
+
+(env
+ (release
+  (ocamlopt_flags
+   (:standard -O3 -noassert))))
