braincheck is a work-in-progress static and dynamic analyzer for the esoteric programming language Brainfuck. It aims to provide users with a simple interface for verification of complex assertions about their program (reachability, values, over- and underflows).
This software is built with Spot, CLI11 and minunit.
- Better test coverage
- Improve performance by merging Kripke states
- Clean up
README.md - More assertions
- Cell values
- Cell visits
- Dynamic assertion checking with summary