Merge pull request OCamlPro#2 from maroneze/multicore

Add monocypher to frama-c bench
lthls · Sep 24, 2018 · 7242476 · 7242476
2 parents 0e1c474 + 887f628
commit 7242476
Show file tree

Hide file tree

Showing 10 changed files with 20,276 additions and 0 deletions.
diff --git a/packages/frama-c-bench/frama-c-bench.1.0/files/frama-c-bench.install b/packages/frama-c-bench/frama-c-bench.1.0/files/frama-c-bench.install
@@ -1,9 +1,17 @@
 share : [
   "frama-c-deflate.bench"
   "frama-c-idct.bench"
+  "frama-c-monocypher.bench"
   "t.c"
   "idct/idct.c" {"idct/idct.c"}
   "idct/ieee_1180_1990.c" {"idct/ieee_1180_1990.c"}
   "math.c"
   "math.h"
+  "monocypher/monocypher.c" {"monocypher/monocypher.c"}
+  "monocypher/monocypher.h" {"monocypher/monocypher.h"}
+  "monocypher/sha512.c" {"monocypher/sha512.c"}
+  "monocypher/sha512.h" {"monocypher/sha512.h"}
+  "monocypher/tests/test.c" {"monocypher/tests/test.c"}
+  "monocypher/tests/utils.h" {"monocypher/tests/utils.h"}
+  "monocypher/tests/vectors.h" {"monocypher/tests/vectors.h"}
 ]
diff --git a/packages/frama-c-bench/frama-c-bench.1.0/files/frama-c-monocypher.bench.in b/packages/frama-c-bench/frama-c-bench.1.0/files/frama-c-monocypher.bench.in
@@ -0,0 +1,5 @@
+((name frama-c-monocypher)
+ (descr "frama-c (eva plug-in) on monocypher 2.0.5")
+ (cmd
+  (%{bin}%/frama-c %{frama-c-bench:share}%/monocypher/monocypher.c %{frama-c-bench:share}%/monocypher/sha512.c %{frama-c-bench:share}%/monocypher/tests/test.c -val -journal-disable -no-val-show-progress -value-msg-key=-initial-state,-final-states -value-warn-key=-alarm -value-verbose 0))
+ (speed Slow))