From 44dd2017032d63072c76a2109c85d27ceabc7428 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 24 Feb 2021 10:19:12 +0100
Subject: [PATCH] [aorai] disable wp-simplifier for auto-tests
---
src/plugins/aorai/tests/Aorai_test.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 5a1e9fb9bc0..661d9750382 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -111,6 +111,7 @@ let extend () =
if ProveAuxSpec.get () then begin
if InternalWpShare.is_set() then
Wp.Wp_parameters.Share.set (InternalWpShare.get());
+ Wp.Wp_parameters.Let.off();
Wp.Wp_parameters.Split.on();
Wp.Wp_parameters.SplitMax.set 32;
Wp.Wp_parameters.Verbose.set 0;
--
GitLab