Tree
- Tree:
5291895ceccf09fa79a8f4285a2ead9fa4f1d407
- Date:
- Message:
- 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.