Add non-axiomatic IMP example

skius · Jun 22, 2021 · 53d61ea · 53d61ea
1 parent 4e06423
commit 53d61ea
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/examples/abs.imp b/examples/abs.imp
@@ -0,0 +1,6 @@
+a := 0 - 10;
+if a >= 0 then
+    skip
+else
+    a := a * (0 - 1)
+end