NeoGoDDaR Docker Image

This is a zipped tarball for a Docker image of NeoGoDDaR, a Deadlock Detection and Resolution tool for Go programs. To use it: Download the image file neogoddar.tar.gz Load it with docker: docker load --input neogoddar.tar.gz You may use a predefined command: docker run gustavofeio/neogoddar benchmark-examples to run the examples/sanity checker The corresponding output should be Results: 58/58 tests passed docker run gustavofeio/neogoddar benchmark-bugs to run the deadlock bug collection benchmark The corresponding output should be Results: 16/22 tests executed successfully docker run gustavofeio/neogoddar benchmark-all runs both previous commands sequentially docker run gustavofeio/neogoddar analyse-go [-patch] analyses the Go source file docker run gustavofeio/neogoddar analyse-migo analyses the MiGo source file docker run gustavofeio/neogoddar analyse-ccs '' analyses the CCS expression Or get a shell: docker run -it gustavofeio/neogoddar shell starts an interactive container with a shell to traverse the directories and use the tool directly. More information can be found in the GitHub repository.