Commit 275cbb4

authored

feat: handle assertion violations from non-testing functions (#532)

1 parent 5b055f0 commit 275cbb4Copy full SHA for 275cbb4

1 file changed

src/halmos
- __main__.py

Comments

(0)