aeneas/tests/test_runner, branch isabelle aeneas rust verifier with a hacky Isabelle backend Update the test runner 2024-06-05T14:48:08+00:00 Son Ho 2024-06-05T14:48:08+00:00 c6ba96bf0723fd46432d73e52eaf6b0859c75fa8 






Update the test runner to allow the syntax [!lean] and [borrow-check]
2024-06-05T13:03:01+00:00

Son Ho

2024-06-05T13:03:01+00:00

bb1caf9a8efdadd599560b3ff7a12d275a12f696












runner: Factor out backend-specific options
2024-05-30T09:57:40+00:00

Nadrieril

2024-05-28T11:52:12+00:00

14d9ca2ddf5ccb350d3bd87ca14a7b7468398e9c












runner: Split up into multiple files
2024-05-30T09:57:40+00:00

Nadrieril

2024-05-28T10:18:52+00:00

ec03335a473ffdf9371210e8558c691ea69d212d












runner: make the backend map a submodule of `Backend`
2024-05-30T09:57:40+00:00

Nadrieril

2024-05-28T10:14:08+00:00

86d0789b5a303f43c0d9bfeff83f37d89750b5d6












runner: Store options for crate tests in a separate file
2024-05-28T09:36:31+00:00

Nadrieril

2024-05-27T15:22:07+00:00

9cc69020773cc77965a6faa6f0d46f179de3d8b8












tests: Rename betree_main -> betree
2024-05-28T09:36:31+00:00

Nadrieril

2024-05-27T11:28:28+00:00

f77e3f9cbe2ea7abeb4be815bdbf33d0c98076c2












runner: Add `no-check-output` option for unstable outputs
2024-05-27T12:40:34+00:00

Nadrieril

2024-05-27T12:34:12+00:00

fb16d0af4caacd2c9a3463f6d2b455209b755697












runner: Support negative tests
2024-05-27T12:40:34+00:00

Nadrieril

2024-05-27T09:22:37+00:00

9c09789c26dd8142b8a29b42e250a685aa983e58












runner: Correctly catch command exit status
2024-05-27T09:44:11+00:00

Nadrieril

2024-05-27T08:48:07+00:00

aee6dc227c4ed041bbbae7cf38729a4b1a3a6869