Using Z3 dumps plenty logs of texts in the console
ID0000347: This issue was created automatically from Mantis Issue 347. Further discussion may take place here.
|ID0000347||Frama-C||Plug-in > jessie||public||2009-12-02||2009-12-05|
|Product Version||Frama-C Beryllium-20090902||Target Version||-||Fixed in Version||Frama-C Beryllium-20090902|
All in the title. That's too much verbose of course. Appear with why 2.22.
Steps To Reproduce :
Simply try to prove any VC in gwhy with Z3.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information