Repos
/
diff.git
/
tree
/
man
/
Tree
Tree:
5291895ceccf09fa79a8f4285a2ead9fa4f1d407
Date:
Tue May 5 05:04:21 2020 UTC
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.
diff.1
commits
|
blame