Allow slugs output to be written to a file

GaloisInc / salty

A DSL for generating GR(1) problems

BSD 3-Clause "New" or "Revised" License

11 stars 3 forks source link

Allow slugs output to be written to a file #4

Open elliottt opened 8 years ago

elliottt commented 8 years ago

There are other tools that can consume the output of slugs. It would be nice if we had a way of writing out directly the response that we get from slugs.