Commits
- Commit:
b47897f387d8f7e9152f0b0e1b1d5548c7bab6f2
- From:
- Neels Hofmeyr <neels@hofmeyr.de>
- Date:
add test012
test010 has a weird failure to find a good diff. This new test, when setting
the permitted_state_size = 100, gives a shorter failure that test010, to allow
easier debugging.