From ba6df492e2017e641d3e5a0baf379b0aa35dd0f4 Mon Sep 17 00:00:00 2001 From: Andrei Paskevich <andrei@lri.fr> Date: Sun, 23 Sep 2018 23:51:50 +0200 Subject: [PATCH] bench: ring_decision is moved to in_progress --- bench/bench | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/bench b/bench/bench index 0d1f72d44..784e2b1fe 100755 --- a/bench/bench +++ b/bench/bench @@ -275,7 +275,7 @@ goods examples/bitvectors "-L examples/bitvectors" goods examples/avl "-L examples/avl" goods examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication" goods examples/double_wp "-L examples/double_wp" -goods examples/ring_decision "-L examples/ring_decision" +goods examples/in_progress/ring_decision "-L examples/in_progress/ring_decision" goods examples/multiprecision "-L examples/multiprecision" goods examples/prover "-L examples/prover --debug ignore_unused_vars" goods examples/in_progress @@ -297,7 +297,7 @@ replay examples/bitvectors "-L examples/bitvectors --merging-only" replay examples/avl "-L examples/avl --merging-only" replay examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication --merging-only" replay examples/double_wp "-L examples/double_wp --merging-only" -replay examples/ring_decision "-L examples/ring_decision --merging-only" +replay examples/in_progress/ring_decision "-L examples/in_progress/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 -- GitLab