diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
| commit | c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (patch) | |
| tree | 7ad14408fed21ee50f2e115f663340afe1cffbc2 /scripts | |
| parent | aa986aacbb80e9f92f77d65de74ba5051054eac7 (diff) | |
| download | vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.tar.gz vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.zip | |
Fix some more of the benchmarks
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/docker/artifact.org | 7 |
1 files changed, 5 insertions, 2 deletions
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 |