diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/sampleh6.ine')
| -rw-r--r-- | demos/ppl_lcdd/examples/sampleh6.ine | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/sampleh6.ine b/demos/ppl_lcdd/examples/sampleh6.ine new file mode 100644 index 000000000..b9c93a765 --- /dev/null +++ b/demos/ppl_lcdd/examples/sampleh6.ine @@ -0,0 +1,11 @@ +* test file for forced-equality checking +H-representation +begin + 5 4 integer + 0 1 0 0 + 0 0 1 0 + 0 0 0 1 + 1 -1 -1 -1 +-1 1 1 0 +end + |