This PR uses https://hackage.haskell.org/package/HTF-0.15.0.0 to implement end-to-end tests for inferno. This way we can have .inferno files containing inferno programs with assert statements to test things, and will hopefully help new users and documentation/learning material generation. (@smurphy8 hope this is what you were thinking of?)
@ngua I've made it look for the path to the inferno exe in the env var INFERNO_EXE. Could you help modify the nix build magic to set the var accordingly? Thanks
This PR uses https://hackage.haskell.org/package/HTF-0.15.0.0 to implement end-to-end tests for inferno. This way we can have
.infernofiles containing inferno programs withassertstatements to test things, and will hopefully help new users and documentation/learning material generation. (@smurphy8 hope this is what you were thinking of?)@ngua I've made it look for the path to the
infernoexe in the env varINFERNO_EXE. Could you help modify the nix build magic to set the var accordingly? Thanks