temp fix

2019-01-02 20:50:53 -07:00
parent 51d8518c51
commit 8a5d681c16
1 changed files with 2 additions and 0 deletions
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -48,8 +48,10 @@
 #define assume DeepState_Assume
 #define check DeepState_Check

+#ifdef DEEPSTATE_TAKEOVER_RAND
 #define rand DeepState_Int
 #define srand DeepState_Warn_srand
+#endif

 #define MAYBE(...) \
    if (DeepState_Bool()) { \