CSY/reowolf Files · testdata/basic-modules/readme.txt · Centrum Wiskunde & Informatica (CWI)

Files @ c94c99d87e48

Branch filter:

c94c99d87e48 142 B text/plain Show Annotation Show as Raw Download as Raw

WIP: Rewriting select guards by inserting temp variables

1
2
3

Run as:

./bin-compiler -i ./testdata/basic-modules/consumer.pdl -i ./testdata/basic-modules/producer.pdl -i ./testdata/basic-modules/main.pdl