Boolector crashes when printing constant array about boolector

[mpreiner]

@mikhailramalho this should be fixed with my latest commit on master (48b347e).

[mikhailramalho]

Thanks for the fix, however, I think but "reduced" trace was actually triggering some other bug.

While you commit fixed the problem with the reduced trace, boolector is still failing for my original case. The trace: btor.trace.txt

When using a debug version of boolector, it fails the following assertion:

$ ~/tools/boolector/build/bin/btoruntrace btor.trace 
btoruntrace: /home/mgadelha/tools/boolector/src/btornode.c:2632: btor_node_create_args: Assertion `argc > 0' failed.
Aborted (core dumped)

[mikhailramalho]

A second trace, I guess it is related to the first one because I'm trying to print the formula: btor.trace.txt

The only difference from the second btrace I've just sent is that at the end, instead of calling sat, I call dump_smt2. It fails the following assertion:

 $ ~/tools/boolector/build/bin/btoruntrace btor.trace.txt 
btoruntrace: /home/mgadelha/tools/boolector/src/dumper/btordumpsmt.c:1583: dump_smt: Assertion `static_rho' failed.
Aborted (core dumped)

[mpreiner]

Should be now fixed with current master.

[mikhailramalho]

Thanks, it's working now!

[mikhailramalho]

Btw, are you planning to release a hotfix version? 3.1.1 maybe?

[aniemetz]

Yes, as soon as #77 is addressed.