search

nuscr / oven

A tool for handling Synthetic MPST specifications
0 stars 0 forks source link

Fix recursion so this file can be run from the command line #15

Open fferreira opened 1 year ago

fferreira commented 1 year ago

manypar.boom.zip

Assumming the attached file is decompressed and placed in the examples directory, and running from the root directory, the following command should not fail with stack overflow:

dune exec oven -- ./examples/manypar.boom