anchor.diff:  WORKDIR /home/Work
   
   # Prepare and build HACL*
  -ARG CACHEBUST=1
  +ARG RESET_HACL=0
   RUN git clone https://github.com/mitls/hacl-star.git
   WORKDIR /home/Work/hacl-star
   RUN git checkout master
  
positive.code: FROM ubuntu:xenial
  
  MAINTAINER Benjamin Beurdouche <benjamin.beurdouche@inria.fr>
  # Based on the original F* formula with Daniel Fabian
  
negative.code: WORKDIR /home/Work
  
  # Prepare and build F*
  ARG RESET_FSTAR=0
  RUN git clone https://github.com/FStarLang/FStar.git
  WORKDIR /home/Work/FStar
  RUN git checkout ${fstarv}
  