From c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 11 Jul 2021 01:34:00 +0200 Subject: Fix some more of the benchmarks --- scripts/docker/artifact.org | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'scripts/docker') diff --git a/scripts/docker/artifact.org b/scripts/docker/artifact.org index 0f9ca8b..d6029f8 100644 --- a/scripts/docker/artifact.org +++ b/scripts/docker/artifact.org @@ -33,7 +33,7 @@ cd /vericert nix-shell #+end_src -Then, any commands can be run in this shell to run ~vericert~, which has already been compiled and can be found in the ~/vericert/bin~ directory. For a quick test that it is working, a few very simple examples in the ~/vericert/test~ directory can be run using: +Then, any commands can be run in this shell to run ~vericert~, which has already been compiled and can be found in the ~/vericert/bin~ directory. For a quick test that it is working, a few very simple examples in the ~/vericert/test~ directory can be run by using the following inside of the ~/vericert~ directory: #+begin_src shell make test @@ -64,7 +64,10 @@ This should print out the return value from the main function in addition to the ** Getting cycle counts for Vericert -There are two benchmark sets for which the results are given in the paper. +There are two benchmark sets for which the results are given in the paper: + +- ~/vericert/benchmarks + To get the cycle counts for Vericert from the benchmarks * Footnotes -- cgit