From 727abfbae118d9cdf8d8b47b080a5453cecf9c7d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Jun 2019 15:18:27 +0100
Subject: SMT: Add a fuzzing tool for the SMT builtins

---
 src/rewrites.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/rewrites.ml')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 84f23c77..cbbd72d4 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -5024,6 +5024,7 @@ let rewrites_target tgt =
   | "c" -> rewrites_c
   | "ir" -> rewrites_c @ [("properties", [])]
   | "smt" -> rewrites_c @ [("properties", [])]
+  | "smtfuzz" -> rewrites_c @ [("properties", [])]
   | "sail" -> []
   | "latex" -> []
   | "interpreter" -> rewrites_interpreter
-- 
cgit v1.2.3