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

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 49 forks source link

Closed samuelchassot closed 2 months ago

samuelchassot commented 3 months ago

Should be merged after #1507 and with the Inox modification https://github.com/epfl-lara/inox/pull/206

samuelchassot commented 3 months ago

@mario-bucev :)

samuelchassot commented 3 months ago

there's actually a bug, I'm on it