diff options
| author | Son Ho | 2024-06-05 17:04:05 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-05 17:04:05 +0200 |
| commit | afe15cc3208b16b95109f056656c1c3d312841cc (patch) | |
| tree | ae0dc5101d49e812366b3fb9ddb681f03dba486f /tests/fstar/demo/Demo.fst | |
| parent | 7cb0914c68a055a308539ccc781fea8f30ef27bb (diff) | |
Add some negative tests for the borrow checker
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions