c-cube opened this issue 4 years ago · 0 comments
./zipperposition.exe -bt --dot /tmp/truc.dot examples/data/length.zf --check -d 5 gets an error in proof checking
./zipperposition.exe -bt --dot /tmp/truc.dot examples/data/length.zf --check -d 5