dig
dig copied to clipboard

Published 20 hours ago •

Reame
Issues

add ability to check user-supplied invariants in src code

Open nguyenthanhvuh opened this issue 2 years ago • 0 comments

e.g., support the syntax

// code ... vcheck(x > y);

Dec 10 '22 18:12 nguyenthanhvuh