Modules§
Macros§
- add_loc
- cvlr_
assert - cvlr_
assert_ eq - cvlr_
assert_ ge - cvlr_
assert_ gt - cvlr_
assert_ le - cvlr_
assert_ lt - cvlr_
assert_ ne - cvlr_
assume - cvlr_
assume_ eq - cvlr_
assume_ ge - cvlr_
assume_ gt - cvlr_
assume_ le - cvlr_
assume_ lt - cvlr_
assume_ ne - cvlr_
satisfy - cvlr_
vacuity_ check