Sign inSign up

giograno/austin

By giograno

•Updated over 8 years ago

Image to replicate the AUSTIN's experiment for the paper "OCELOT: a Test-Data Generation Tool for C"

Image
0

169

giograno/austin repository overview

Pull the image with the following command:

docker pull giograno/austin:v1

Check here⁠ whether the laster updated version correspond to the tag reported in this guide.

Then, you can start the image with the command:

docker run -ti giograno/austin:v1

Then just execute the run.sh script in the /austin/ default initial directory. The execution will start and the results saved in the folder /austin/sample/out.

Tag summary

Content type

Image

Digest

Size

209.4 MB

Last updated

over 8 years ago

docker pull giograno/austin:v1