Unable to parse example file

[marcosh]

I'm trying to run the executable with the provided examples. While Mapping.aqlworks without problems, If I try to run stack exec aql-exe test/Employee.aql, I get the following message: Eval Error in T: No option called program_allow_nonterm_unsafe. Should I add some option or configuration somewhere?

[wisnesky]

I changed the option name from containing “non term” to “nontermination”, I think, to sync with java AQL but forgot to change the example. I’ll check the examples before my next commit.

On Oct 10, 2018, at 2:22 AM, Marco Perone notifications@github.com wrote:

I'm trying to run the executable with the provided examples. While Mapping.aqlworks without problems, If I try to run stack exec aql-exe test/Employee.aql, I get the following message: Eval Error in T: No option called program_allow_nonterm_unsafe. Should I add some option or configuration somewhere?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[wisnesky]

fixed