"lisa-utils/src/test/git@ic-gitlab.epfl.ch:lara/lisa.git" did not exist on "b401364eeffc7386eb2385635ca850168a9043e7"
-
Etienne Kneuss authored
- 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.
Etienne Kneuss authored- 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.
