You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit adds a couple of trace outputs that were helpful in finding
two bugs fixed in this series of commits.
We also increase the number of levels the spew logger is allowed to
print, so we can see a bit more. We need this limit to avoid endless
loops in self-referencing structs such as proofs.
0 commit comments