diff options
| author | Son HO | 2023-12-13 11:10:10 +0100 |
|---|---|---|
| committer | GitHub | 2023-12-13 11:10:10 +0100 |
| commit | c6247e0c103cc1dc95c2a63ae01602c4a1208dc4 (patch) | |
| tree | 9b3d6aa74163ee8f26e62bf864121f9cf256a88a /tests/hol4/misc-no_nested_borrows | |
| parent | 22009543d86895b9f680d3a4abdea00302ad5f1e (diff) | |
| parent | 07fc9c784e311ab082b89a63f5ca5b0c7568fc4c (diff) | |
Merge pull request #52 from AeneasVerif/son/matches
Make the otherwise branch in the LLBC match statements optional
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows')
0 files changed, 0 insertions, 0 deletions