Command ```bash $ dune exec -- gillian-py compile examples/dict/test1.json ``` Right now resulting file is just `testprog.gil`. It is hardcoded in file `lib/pyParserAndCompiler.ml`. One needs to fix this.
Command
$ dune exec -- gillian-py compile examples/dict/test1.jsonRight now resulting file is just
testprog.gil. It is hardcoded in filelib/pyParserAndCompiler.ml.One needs to fix this.