Skip to content

Commit

Permalink
simplifying semicolons
Browse files Browse the repository at this point in the history
  • Loading branch information
nbingham1 committed Dec 9, 2024
1 parent 499ea94 commit 2c0b364
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 17 deletions.
32 changes: 16 additions & 16 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,35 +25,35 @@ Write your functional specification.
**wchb1b.cog**
```
region 1 {
L.f- and L.t-;
await L.e;
L.f- and L.t-
await L.e
while {
L.f+ xor L.t+;
await ~L.e;
L.f- and L.t-;
L.f+ xor L.t+
await ~L.e
L.f- and L.t-
await L.e
}
} and {
L.e+ and R.f- and R.t-;
await R.e & ~L.f & ~L.t;
L.e+ and R.f- and R.t-
await R.e & ~L.f & ~L.t
while {
await R.e & L.f {
R.f+
} or await R.e & L.t {
R.t+
};
L.e-;
await ~R.e & ~L.f & ~L.t;
R.f- and R.t-;
}
L.e-
await ~R.e & ~L.f & ~L.t
R.f- and R.t-
L.e+
}
} and region 1 {
R.e+;
await ~R.f & ~R.t;
R.e+
await ~R.f & ~R.t
while {
await R.f | R.t;
R.e-;
await ~R.f & ~R.t;
await R.f | R.t
R.e-
await ~R.f & ~R.t
R.e+
}
}
Expand Down
2 changes: 1 addition & 1 deletion lib/parse_cog

0 comments on commit 2c0b364

Please sign in to comment.