From bda0e95bbfbd4330467b7d6a403a01885a76c876 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 1 Mar 2016 21:11:40 +0100 Subject: [PATCH] updated --- e41.smv | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/e41.smv b/e41.smv index 3cbf9c1..67031b2 100644 --- a/e41.smv +++ b/e41.smv @@ -4,15 +4,16 @@ VAR ASSIGN init(line):=l2; next(line):=case - line=l2: l3; - line=l3: l4; + line=l2: {l2,l3}; + line=l3: {l3,l4}; line=l4: case !(yother=0 | s!=i) : l4; - TRUE: l7; + TRUE: {l4,l7}; esac; - line=l7: l8; - line=l8: l2; + line=l7: {l7,l8}; + line=l8: {l8,l2}; esac; +JUSTICE line=l7 MODULE main VAR -- 2.20.1