From 0d8cc01cb2bcf440076209a0387752b30a8aa6bd Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sun, 24 Jun 2018 09:09:42 +0200
Subject: [PATCH] Add examples/prover to the bench.

---
 bench/bench | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bench/bench b/bench/bench
index c6a053f0d..98e07e68a 100755
--- a/bench/bench
+++ b/bench/bench
@@ -277,6 +277,7 @@ goods examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_201
 goods examples/double_wp "-L examples/double_wp"
 goods examples/ring_decision "-L examples/ring_decision"
 goods examples/multiprecision "-L examples/multiprecision"
+goods examples/prover "-L examples/prover --debug ignore_unused_vars"
 goods examples/in_progress
 echo ""
 
@@ -298,6 +299,7 @@ replay examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_20
 replay examples/double_wp "-L examples/double_wp --merging-only"
 replay examples/ring_decision "-L examples/ring_decision --merging-only"
 replay examples/multiprecision "-L examples/multiprecision --merging-only"
+replay examples/prover "-L examples/prover --merging-only --debug ignore_unused_vars"
 #replay examples/in_progress --merging-only
 #replay examples/in_progress/multiprecision "-L examples/in_progress/multiprecision --merging-only"
 echo ""
-- 
GitLab