diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-17 05:18:21 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-17 05:18:21 +0100 |
| commit | 6742e1ba68cac885895f3bddcca8fe9454c11e63 (patch) | |
| tree | 5a78f274d8ba2f1e9684f1af839dc8af6ae0b766 /test/monniaux/sha-2 | |
| parent | a54350e3bbd636fd23f8e4c79fd120fea9298f96 (diff) | |
| download | compcert-kvx-6742e1ba68cac885895f3bddcca8fe9454c11e63.tar.gz compcert-kvx-6742e1ba68cac885895f3bddcca8fe9454c11e63.zip | |
longer tests
Diffstat (limited to 'test/monniaux/sha-2')
| -rw-r--r-- | test/monniaux/sha-2/sha-256_run.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/sha-2/sha-256_run.c b/test/monniaux/sha-2/sha-256_run.c index 546b7dbc..982fc538 100644 --- a/test/monniaux/sha-2/sha-256_run.c +++ b/test/monniaux/sha-2/sha-256_run.c @@ -43,7 +43,7 @@ static const struct string_vector STRING_VECTORS[] = { } }; -#define LARGE_MESSAGES 0 +#define LARGE_MESSAGES 1 #define LARGER_MESSAGES 0 static uint8_t data1[] = { 0xbd }; @@ -115,8 +115,12 @@ static struct vector vectors[] = { #if LARGE_MESSAGES { NULL, + /* too big 1000000, "d29751f2649b32ff572b5e0a9f541ea660a50f94ff0beedfb0b692b924cc8025" + */ + 50000, + "5b4b67b5d68e02c992760de07640472efe53a7f7553865f83262d0a74efc3e5d" }, #if LARGER_MESSAGES { |