These suites share files that have minor changes when backends do not support IO, Strings etc or where program inputs are too large.
We should factor out a common suite that only use features that all backends support (e.g trace, returning Nat). And add specific test files for IO, Strings, etc. that can be excluded from test suites that do not support those features.
We have compilation test suites for each backend. These consist of
juvix
source files.e.g
These suites share files that have minor changes when backends do not support IO, Strings etc or where program inputs are too large.
We should factor out a common suite that only use features that all backends support (e.g trace, returning
Nat
). And add specific test files for IO, Strings, etc. that can be excluded from test suites that do not support those features.