anchor.diff: -FROM ubuntu:16.04 as builder
  +FROM ubuntu:18.04 as builder
   LABEL author="Abdelrahman Hosny <abdelrahman.hosny@hotmail.com>"
  -
  +ENV DEBIAN_FRONTEND=noninteractive
   RUN apt-get update && apt-get install -y build-essential \
       clang \
       bison \
  
positive.code: COPY --from=builder /yosys-smtbmc /build/yosys-smtbmc
  
  ENV PATH /build:$PATH
  
  RUN mkdir /data
  WORKDIR /data
  
  ENTRYPOINT ["yosys"]
  
negative.code:     tcl-dev \
      libffi-dev \
      git \
      pkg-config \
      python3 && \
      rm -rf /var/lib/apt/lists
  COPY . /
  RUN make && \
      make install
  
  FROM ubuntu:18.04
  ENV DEBIAN_FRONTEND=noninteractive
  RUN apt-get update && apt-get install -y libreadline-dev tcl-dev
  
  COPY --from=builder /yosys /build/yosys
  COPY --from=builder /yosys-abc /build/yosys-abc
  COPY --from=builder /yosys-config /build/yosys-config
  