summaryrefslogtreecommitdiff
path: root/rust-tests
diff options
context:
space:
mode:
authorSon Ho2022-01-21 11:13:13 +0100
committerSon Ho2022-01-21 11:13:13 +0100
commitc7046673306d8d8ddac7f815f523a4938e9802c9 (patch)
treea8ac58513f8ceca62c5b061856cf78f9d5b029b0 /rust-tests
parent54e493eaede8907496487e41070347fa0d0b22c9 (diff)
Add invariant checks at the end of [end_borrow] and [end_abstraction]
Diffstat (limited to 'rust-tests')
0 files changed, 0 insertions, 0 deletions