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
I have a huge goto-program that I cannot dump without an invariant violation. Unfortunately, it looks like the logging is pretty minimal and even with verbosity=10 I get no information about which line in the goto binary is causing the problem.
Also, in an odd quirk, somehow dump-cpp works just fine, which is quite annoying.
The problem is at line 630 in dump-c.cpp, so it appears to be a problem with a compound type, but that's not very helpful.
The text was updated successfully, but these errors were encountered:
I have a huge goto-program that I cannot dump without an invariant violation. Unfortunately, it looks like the logging is pretty minimal and even with verbosity=10 I get no information about which line in the goto binary is causing the problem.
Also, in an odd quirk, somehow dump-cpp works just fine, which is quite annoying.
The problem is at line 630 in dump-c.cpp, so it appears to be a problem with a compound type, but that's not very helpful.
The text was updated successfully, but these errors were encountered: