diff options
| author | Escherichia | 2024-04-05 10:36:40 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-05 10:38:14 +0200 |
| commit | fc51bfd88076a66000dbfe76e832d3fdd72aee76 (patch) | |
| tree | be46d7584464477712cc88c318c508b49c944f9f /tests/fstar/arrays/Arrays.Clauses.Template.fst | |
| parent | 061d7f72bec27de46245afc82149271ca8c75627 (diff) | |
error catching should now be able to tell when code couldn't be generated
Diffstat (limited to 'tests/fstar/arrays/Arrays.Clauses.Template.fst')
0 files changed, 0 insertions, 0 deletions