From 9017c0c0299097cd324b29ac328d0314fd8b05e5 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Wed, 2 Oct 2019 14:25:11 +0200 Subject: Adding picosat to the benches --- test/monniaux/benches.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/benches.sh') diff --git a/test/monniaux/benches.sh b/test/monniaux/benches.sh index f932d9c2..da00c52f 100644 --- a/test/monniaux/benches.sh +++ b/test/monniaux/benches.sh @@ -1,3 +1,3 @@ -benches="binary_search bitsliced-aes bitsliced-tea complex float_mat glibc_qsort heapsort idea number_theoretic_transform quicksort sha-2 tacle-bench-lift tacle-bench-powerwindow too_slow heptagon_radio_transmitter lustrev4_lustrec_heater_control lustrev4_lv4_heater_control lustrev4_lv6-en-2cgc_heater_control lustrev6-convertible-en-2cgc xor_and_mat glpk-4.65" +benches="binary_search bitsliced-aes bitsliced-tea complex float_mat glibc_qsort heapsort idea number_theoretic_transform quicksort sha-2 tacle-bench-lift tacle-bench-powerwindow too_slow heptagon_radio_transmitter lustrev4_lustrec_heater_control lustrev4_lv4_heater_control lustrev4_lv6-en-2cgc_heater_control lustrev6-convertible-en-2cgc xor_and_mat glpk-4.65 picosat-965" # Removed for now : ternary -- cgit