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/fstar/traits | |
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/fstar/traits')
0 files changed, 0 insertions, 0 deletions