Saturday, September 30, 2006



BrainScan is a source-code model checker for BrainF*ck. Source tar ball and statically-linked x86 linux binary. BrainScan is written by OCaml, so to compile you need OCaml (> =3.09) , findlib and extlib.

BrainScan can check
-H or --hash options allow to compress the state space using hash values. This makes the check imprecise, but save large amount of memory. should be integer from 1 to 31.


Comments: Post a Comment

Links to this post:

Create a Link

<< Home

This page is powered by Blogger. Isn't yours?