Open
Description
Currently, Gillian Core seems to error if a file doesn't end in either .gil or .ngil saying:
Error: ../tests/noproph/list_std.stdout is not a .gil or .ngil file
Could we remove this check? Or at least add a -f FORMAT flag that can be used to force gillian to treat a file as acceptable? As the error message implies, I have plenty of .stdout files containing .gil programs and I would like to load them, changing my suffix is not an option as they are generated by a 3rd party tool.
Metadata
Metadata
Assignees
Labels
No labels