From 9a6d52021e22e9c7cc6c7ded6f3574ed53969010 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Fri, 5 May 2023 19:17:11 +0200
Subject: [PATCH] Use lower case name for SAVer files.
---
src/{SAVer.ml => saver.ml} | 0
src/{SAVer.mli => saver.mli} | 0
src/verification.ml | 2 +-
3 files changed, 1 insertion(+), 1 deletion(-)
rename src/{SAVer.ml => saver.ml} (100%)
rename src/{SAVer.mli => saver.mli} (100%)
diff --git a/src/SAVer.ml b/src/saver.ml
similarity index 100%
rename from src/SAVer.ml
rename to src/saver.ml
diff --git a/src/SAVer.mli b/src/saver.mli
similarity index 100%
rename from src/SAVer.mli
rename to src/saver.mli
diff --git a/src/verification.ml b/src/verification.ml
index f6c7022..f02325f 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -112,7 +112,7 @@ let answer_saver limit config env config_prover dataset task =
in
Dataset.interpret_predicate env ~on_model ~on_dataset task
in
- let answer = SAVer.call_prover limit config config_prover dataset_predicate in
+ let answer = Saver.call_prover limit config config_prover dataset_predicate in
match answer.prover_answer with
| Call_provers.Unknown "" ->
let additional_info = Fmt.str "%d/%d" answer.nb_proved answer.nb_total in
--
GitLab