anchor.diff:  add unittests /usr/src/souper/unittests
   
   run export GOPATH=/usr/src/go \
  +        && export LD_LIBRARY_PATH=/usr/src/souper/third_party/z3-install/lib:$LD_LIBRARY_PATH \
   	&& mkdir -p /usr/src/souper-build \
   	&& cd /usr/src/souper-build \
   	&& CC=/usr/src/souper/third_party/llvm/Release/bin/clang CXX=/usr/src/souper/third_party/llvm/Release/bin/clang++ cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -DTEST_SYNTHESIS=ON ../souper \
  
positive.code:         && rm -rf third_party/llvm/Release-build \
  	&& rm -rf third_party/hiredis/install/lib/libhiredis.so*
  
  add CMakeLists.txt /usr/src/souper/CMakeLists.txt
  add docs /usr/src/souper/docs
  add include /usr/src/souper/include
  
negative.code: from ubuntu:20.04
  
  run set -x; \
          echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections \
          && apt-get update -y -qq \
          && apt-get dist-upgrade -y -qq \
          && apt-get autoremove -y -qq \
          && apt-get remove -y -qq clang llvm llvm-runtime \
  	&& apt-get install libgmp10 \
  	&& echo 'ca-certificates valgrind libc6-dev libgmp-dev cmake patch ninja-build make autoconf automake libtool golang-go python subversion re2c git clang' > /usr/src/build-deps \
  