Update instructions and fix test

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"
 

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
 

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