diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 17:14:07 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 17:14:07 +0200 |
commit | 3496f507d97547c8f544be8219768b000cadb840 (patch) | |
tree | 6afad74cb6bec8decf44e665fe4f9c2d4c31c644 | |
parent | 6edbe2078740e05ab177bad8e3f68655fbb9794e (diff) | |
download | vericert-kvx-3496f507d97547c8f544be8219768b000cadb840.tar.gz vericert-kvx-3496f507d97547c8f544be8219768b000cadb840.zip |
Update instructions and fix testv1.2.1
-rw-r--r-- | scripts/docker/Dockerfile | 2 | ||||
-rw-r--r-- | scripts/docker/artifact.org | 7 | ||||
-rw-r--r-- | scripts/docker/artifact.pdf | bin | 254912 -> 254925 bytes | |||
-rwxr-xr-x | test/test_all.sh | 2 |
4 files changed, 5 insertions, 6 deletions
diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile index 2710ffc..c66df6d 100644 --- a/scripts/docker/Dockerfile +++ b/scripts/docker/Dockerfile @@ -12,7 +12,7 @@ ADD data.tar.gz /data RUN git clone --recursive https://github.com/ymherklotz/vericert WORKDIR /vericert -RUN git checkout -b oopsla21 +RUN git checkout oopsla21 RUN nix-shell --run "make -j7" RUN nix-shell --run "make install" diff --git a/scripts/docker/artifact.org b/scripts/docker/artifact.org index c728320..663afbf 100644 --- a/scripts/docker/artifact.org +++ b/scripts/docker/artifact.org @@ -22,14 +22,13 @@ In addition to that, the Vivado synthesis tool by Xilinx[fn:3] is also commercia First, the docker image needs to be downloaded and run, which contains the git repository: #+begin_src shell -docker pull ymherklotz/vericert -docker run -it ymherklotz/vericert sh +docker pull ymherklotz/vericert:1.0 +docker run -it ymherklotz/vericert:1.0 sh #+end_src -Then, one just has to go into the directory which contains the git repository and open a ~nix-shell~, which will load a shell with all the correct dependencies loaded: +Then, one just has to go into the directory which contains the git repository (~/vericert~) and open a ~nix-shell~, which will load a shell with all the correct dependencies loaded: #+begin_src shell -cd /vericert nix-shell #+end_src diff --git a/scripts/docker/artifact.pdf b/scripts/docker/artifact.pdf Binary files differindex 8118033..28e6f7a 100644 --- a/scripts/docker/artifact.pdf +++ b/scripts/docker/artifact.pdf diff --git a/test/test_all.sh b/test/test_all.sh index 2d78890..f072eba 100755 --- a/test/test_all.sh +++ b/test/test_all.sh @@ -31,7 +31,7 @@ for cfile in $test_dir/*.c; do gcc -o $outbase.gcc $cfile >/dev/null 2>&1 $outbase.gcc expected=$? - vericert -fschedule -drtl -o $outbase.v $cfile >/dev/null 2>&1 + vericert -drtl -o $outbase.v $cfile >/dev/null 2>&1 if [[ ! -f $outbase.v ]]; then echo "ERROR" continue |