forgot to commit spin prelude

2020-06-12 16:27:39 -04:00 · 2020-06-12 16:27:39 -04:00 · 0ed975c58c
parent b59db5b3fd
commit 0ed975c58c
1 changed files with 9 additions and 0 deletions
--- a/racket/typed/spin-prelude.pml
+++ b/racket/typed/spin-prelude.pml
@ -0,0 +1,9 @@
+/* Useful macros */
+
+#define ASSERTED(x) (x##_assertions > 0)
+#define RETRACTED(x) (x##_assertions == 0)
+#define ASSERT(x) x##_assertions = x##_assertions + 1
+#define RETRACT(x) x##_assertions = x##_assertions - 1
+
+/* Rest of Program */
+