"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "a7025236a7f590e0bfa92cf663c7aeebba3b83a5"
- src/test holds unit tests that should be testing one feature alone - src/integration holds integration tests that can use extraction, solvers, codegen, etc.. - src/regression runs all the regression suites.
Name | Last commit | Last update |
---|---|---|