Public | Automated Build

Last pushed: 7 days ago
Short Description
A docker image containing openjdk 8, sbt, z3 and apron (including java bindings).
Full Description

sample-docker-image

A docker image containing openjdk 8, sbt, z3, Boogie and apron (including java bindings).

This image can be used to build, test and run the Sample static analyzer.

Docker Hub

There's an automated build at Docker Hub.

usage

  • cd to ../sample_repo_dir
  • sudo docker run -it --rm -v `pwd`:/home/sample/workspace flurischt/sample /bin/bash
  • cd workspace/sample && sbt test
  • or try out utils/docker.sh
Docker Pull Command
Owner
flurischt
Source Repository

Comments (0)