summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorSon HO2023-12-13 11:10:10 +0100
committerGitHub2023-12-13 11:10:10 +0100
commitc6247e0c103cc1dc95c2a63ae01602c4a1208dc4 (patch)
tree9b3d6aa74163ee8f26e62bf864121f9cf256a88a /tests
parent22009543d86895b9f680d3a4abdea00302ad5f1e (diff)
parent07fc9c784e311ab082b89a63f5ca5b0c7568fc4c (diff)
Merge pull request #52 from AeneasVerif/son/matches
Make the otherwise branch in the LLBC match statements optional
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions