zowskyy

zowskyy/statecheck

0 stars 1 forks 0 watchers Python MIT License

1 Open Issue Need Help Last updated: Jul 14, 2026

Open Issues Need Help

View All on GitHub

good first issue: ContractViolation.note is empty on two of three post_condition failure paths about 12 hours ago

documentation good first issue

zowskyy/statecheck

0

Python