aeneas/tests/test_runner/dune, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/test_runner/dune?h=isabelle 2024-05-30T09:57:40Z runner: Split up into multiple files 2024-05-30T09:57:40Z Nadrieril 2024-05-28T10:18:52Z urn:sha1:ec03335a473ffdf9371210e8558c691ea69d212d runner: Support negative tests 2024-05-27T12:40:34Z Nadrieril 2024-05-27T09:22:37Z urn:sha1:9c09789c26dd8142b8a29b42e250a685aa983e58 runner: Correctly catch command exit status 2024-05-27T09:44:11Z Nadrieril 2024-05-27T08:48:07Z urn:sha1:aee6dc227c4ed041bbbae7cf38729a4b1a3a6869 runner: Allow filenames with dashes 2024-05-24T14:31:32Z Nadrieril 2024-05-24T14:20:26Z urn:sha1:0ebfa7a15f4d7218389488ff8a92206c0d6642ec runner: Pass options in special comments 2024-05-24T14:11:59Z Nadrieril 2024-05-24T13:47:20Z urn:sha1:4d3778bea3112168645efc03308056ec341abb5f runner: Strongly typed Backend enum 2024-05-24T14:11:59Z Nadrieril 2024-05-23T15:01:03Z urn:sha1:7935e74a9cedd93e885ab546d5513ea6c31db5ad Auto-detect test cases 2024-05-24T12:24:38Z Nadrieril 2024-05-23T13:37:01Z urn:sha1:ca045d57b6cc3fc700efe07bfc257231edf814e5 Add simple test runner 2024-05-24T12:24:38Z Nadrieril 2024-05-22T13:11:28Z urn:sha1:6f14e8c699169aa11ea9c106f8cae1ba593569d0