summaryrefslogtreecommitdiff
path: root/tests/test_runner (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add type and set/map for marker and borrow idAymeric Fromherz2024-05-281-1/+1
|
* Downgrade the version of duneSon Ho2024-05-241-1/+1
|
* runner: Use full path and use an enum for crate vs fileNadrieril2024-05-241-42/+54
|
* runner: Do both steps of generation at onceNadrieril2024-05-241-22/+24
|
* Auto-detect test casesNadrieril2024-05-242-17/+23
|
* Use runner to generate llbcNadrieril2024-05-241-20/+104
|
* Import test suite from charonNadrieril2024-05-241-1/+1
|
* Remove secondary betree testNadrieril2024-05-241-18/+4
| | | | | Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to add a more adequate replacement test.
* Let the runner choose which backends to useNadrieril2024-05-241-15/+23
|
* Cleanup test runnerNadrieril2024-05-241-99/+124
|
* Set all options in the test runnerNadrieril2024-05-241-0/+57
|
* Move the subdirectory selection to the test runnerNadrieril2024-05-241-3/+26
|
* Add simple test runnerNadrieril2024-05-245-0/+86