minors

bitml-lang · Nov 8, 2020 · 3dbc977 · 3dbc977
1 parent 0cf5d6b
commit 3dbc977
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/recursion/bitml-test.maude b/recursion/bitml-test.maude
@@ -51,3 +51,5 @@ reduce in LIQUIDITY-CHECK : modelCheck(Contr4 , <> contract-free) .           **
 
 
 ***search Contr3  =>* G:Configuration .
+
+quit .
diff --git a/recursion/coin-flipping-game.maude b/recursion/coin-flipping-game.maude
@@ -30,3 +30,5 @@ smod LIQUIDITY-CHECK is
 endsm
 
 reduce in LIQUIDITY-CHECK : modelCheck(Cconf , <> contract-free) .           *** true
+
+quit .
Original file line number	Diff line number	Diff line change
Expand Up		@@ -51,3 +51,5 @@ reduce in LIQUIDITY-CHECK : modelCheck(Contr4 , <> contract-free) . **


		**search Contr3 => G:Configuration .

		quit .
Original file line number	Diff line number	Diff line change
Expand Up		@@ -30,3 +30,5 @@ smod LIQUIDITY-CHECK is
		endsm

		reduce in LIQUIDITY-CHECK : modelCheck(Cconf , <> contract-free) . *** true

		quit .