diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 15:06:06 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 15:06:06 +0200 |
commit | f04af83c9f1a1e2920bbc14fa7149ce6ae32faca (patch) | |
tree | 12246560ad1d4fa2c393ba715619a5b9770b9d59 /test/monniaux/benches.sh | |
parent | 9017c0c0299097cd324b29ac328d0314fd8b05e5 (diff) | |
download | compcert-kvx-f04af83c9f1a1e2920bbc14fa7149ce6ae32faca.tar.gz compcert-kvx-f04af83c9f1a1e2920bbc14fa7149ce6ae32faca.zip |
genann added
Diffstat (limited to 'test/monniaux/benches.sh')
-rw-r--r-- | test/monniaux/benches.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/benches.sh b/test/monniaux/benches.sh index da00c52f..6014f628 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 picosat-965" +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 genann" # Removed for now : ternary |