SMT: Unroll simple foreach loops

1 files changed, 5 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 666c75fe..dd3431f3 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -164,6 +164,11 @@ typedef uint64_t fbits;
 
 bool eq_bit(const fbits a, const fbits b);
 
+static inline bool bit_to_bool(const fbits a)
+{
+  return (bool) a;
+}
+
 bool EQUAL(fbits)(const fbits, const fbits);
 
 typedef struct {