Merge branch 'topic/527-kanig-smt2' into 'master'

Fix filename used for z3 VCs Closes eng/spark/spark2014#527 Closes spark2014#527 See merge request eng/spark/why3!52
AdaCore · Feb 14, 2024 · cb0d4de · cb0d4de
2 parents 7db2c49 + 13f81e0
commit cb0d4de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/drivers/z3_gnatprove.drv b/drivers/z3_gnatprove.drv
@@ -15,6 +15,7 @@ import "smt-libv2-gnatprove.gen"
 import "smt-libv2-floats-gnatprove.gen"
 import "smt-libv2-floats-int_via_bv.gen"
 import "discrimination.gen"
+filename "%f-%t-%g.smt2"
 printer "smtv2"
 
 (* Counterexamples: set model parser *)