Add the SMT lib file ID in the report table if the option `debug=smt` is enabled#1508

Merged

mario-bucev merged 4 commits intoepfl-lara:mainfrom samuelchassot:sam_reporting

Apr 19, 2024

+55-40

Commits on Apr 12, 2024

add SMT lib file id to the report for each VC when debug=smt is enabled
samuelchassot
committed

Commits on Apr 15, 2024

Bug fix: trivial VCs had one less cell -> assertion error in Inox table render function
samuelchassot
committed

Commits on Apr 18, 2024

change cvc5 licenses
samuelchassot
committed

Commits on Apr 19, 2024

fix commit hash for inox in build.sbt
samuelchassot
committed