summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Traits.fst
diff options
context:
space:
mode:
authorRyan Lahfa2024-03-21 17:05:46 +0100
committerRyan Lahfa2024-03-21 17:06:30 +0100
commit884dcc071b0a62fc1634e692107c6af80aa7d352 (patch)
tree819ad1f0eb3ecf103325d816adc7fe4d41cae3f9 /tests/fstar/traits/Traits.fst
parentcede3bf0cd88728441d94fb9715678eb19bc0a10 (diff)
project(installation): provide a default shell for `aeneas`
This makes it easy to run `make build` and `make test` without figuring anything about the dependencies. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions