Skip to content

Commit f442210

Browse files
Petr BauchPetr Bauch
Petr Bauch
authored and
Petr Bauch
committed
Use CProver assert for range checking
Slight refactor of the methods for working with assume/assert.
1 parent 8ad8813 commit f442210

File tree

3 files changed

+269
-68
lines changed

3 files changed

+269
-68
lines changed

0 commit comments

Comments
 (0)