From bfad32e47bf493c34fe56fb525b374ba5c093443 Mon Sep 17 00:00:00 2001 From: Johannes Kanig Date: Wed, 16 Oct 2024 18:25:20 +0900 Subject: [PATCH] Add remove_unused transform to colibri driver This transformation is now needed for soundness --- drivers/colibri.drv | 1 + 1 file changed, 1 insertion(+) diff --git a/drivers/colibri.drv b/drivers/colibri.drv index 3341b338e..040d75880 100644 --- a/drivers/colibri.drv +++ b/drivers/colibri.drv @@ -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"