stack -full truncates arguments as [...]
#4402
Unanswered
iguanajuice
asked this question in
Q&A
Replies: 1 comment
|
We don't have a configuration option for this, it's hardcoded and it was never requested. It is truncated because at some point it needs to be truncated (we need to limit the size of responses plus think about recursive data). |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
When using
btorstackwith -full, I expect to see every argument that gets passed around.Snippet of the stack trace:
Where it says
ip = net.IP len: 4, cap 4, [...]the value is truncated with an ellipsis; why?? What's the point of tracing the stack if I can't see anything?help stackdoesn't tell me anything about untruncating argument values.All reactions