From 38a00f12b42b1c12b1df51747bc88a4594843aec Mon Sep 17 00:00:00 2001
From: Stuart Pernsteiner <spernsteiner@galois.com>
Date: Thu, 10 Dec 2020 14:06:56 -0800
Subject: [PATCH] expose some helper functions from Simulator.What4

---
 saw-core-what4/src/Verifier/SAW/Simulator/What4.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs b/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
index 2c7426fbac..05d1495748 100644
--- a/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
+++ b/saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
@@ -40,6 +40,7 @@
 
 module Verifier.SAW.Simulator.What4
   ( w4Solve
+  , w4SolveBasic
   , SymFnCache
   , TypedExpr(..)
   , SValue
@@ -51,6 +52,9 @@ module Verifier.SAW.Simulator.What4
 
   , w4SimulatorEval
   , NeutralTermException(..)
+
+  , valueToSymExpr
+  , symExprToValue
   ) where