summaryrefslogtreecommitdiff
path: root/tests/examplefiles/fstar/example.fst.output
Commit message (Expand)AuthorAgeFilesLines
* Update tests.Matthäus G. Chajdas2022-06-191-56/+4
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+14511