bv2int

bclement-ocp · Jul 26, 2024 · 446a709 · 446a709
1 parent 4bc9573
commit 446a709
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
@@ -425,6 +425,8 @@ let smt_fpa_builtins =
       end
     | Id { ns = Term ; name = Simple "ae.float16" } ->
       term_app env s (smt_round 11 24)
+    | Id { ns = Term ; name = Simple "bv2int" } ->
+      term_app1 env s DE.Term.Bitv.to_nat
     | Id { ns = Term ; name = Simple "ae.float32" } ->
       term_app env s (smt_round 24 149)
     | Id { ns = Term ; name = Simple "ae.float64" } ->