diff options
| author | ctcutler <[email protected]> | 2020-06-28 11:49:32 -0400 |
|---|---|---|
| committer | ctcutler <[email protected]> | 2020-06-28 11:49:32 -0400 |
| commit | 47dc0c4d906c1849688dea81930246e95f920b4e (patch) | |
| tree | 1f5831d2e97160c0543b7c7f7f891e29cbcaefd1 | |
| parent | d4690770f47ddb5fcc8bc3d516132bd37a816ecc (diff) | |
| download | Orca-47dc0c4d906c1849688dea81930246e95f920b4e.tar.gz Orca-47dc0c4d906c1849688dea81930246e95f920b4e.zip | |
improve uclid example
| -rw-r--r-- | examples/basics/u.orca | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/basics/u.orca b/examples/basics/u.orca index 4047315..bf11dcb 100644 --- a/examples/basics/u.orca +++ b/examples/basics/u.orca @@ -1,16 +1,16 @@ ......................................... .#.UCLID.#............................... ......................................... -.Cg.U8..............Cg5U8................ +.Cg1U8..............Cg5U8................ .4.X................4.X*................. ..#*.......*.......#.#*.*.**.**.*.**.*#.. -.Cg.U8..............Cg6U8................ +.Cg2U8..............Cg6U8................ .4.X................4.X*................. ..#*.......*.......#.#*.***.***.***.**#.. -.Cg.U8..............Cg7U8................ +.Cg3U8..............Cg7U8................ .4.X................4.X*................. ..#*.......*.......#.#*.*******.******#.. -.Cg.U8..............Cg8U8................ +.Cg4U8..............Cg8U8................ .4.X................4.X*................. ..#*.......*.......#.#****************#.. ......................................... |