ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity

Add remove_unused transform to colibri driver

Browse Source 
This transformation is now needed for soundness
This commit is contained in:
Johannes Kanig
2024-10-16 18:25:20 +09:00
parent c0d27204e0
commit bfad32e47b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
drivers/colibri.drv
View File

@@ -56,6 +56,7 @@ transformation "compile_match"
transformation "inline_trivial"
transformation "simplify_formula"
transformation "eliminate_builtin"
transformation "remove_unused"
transformation "eliminate_recursion"
transformation "eliminate_inductive"
transformation "eliminate_gnatprove_guard_epsilon"