summaryrefslogtreecommitdiff
path: root/demos/ppl_lcdd/examples/redcheck.ext
diff options
context:
space:
mode:
Diffstat (limited to 'demos/ppl_lcdd/examples/redcheck.ext')
-rw-r--r--demos/ppl_lcdd/examples/redcheck.ext11
1 files changed, 11 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/redcheck.ext b/demos/ppl_lcdd/examples/redcheck.ext
new file mode 100644
index 000000000..e970c4298
--- /dev/null
+++ b/demos/ppl_lcdd/examples/redcheck.ext
@@ -0,0 +1,11 @@
+V-representation
+begin
+ 7 3 integer
+ 1 0 0
+ 1 2 0
+ 1 0 2
+ 1 1 1
+ 1 2 1
+ 1 1 2
+ 1 2 2
+end