Image to replicate the OCELOT's experiment for the paper "OCELOT: a Test-Data Generation Tool for C"
476
Pull the image with the following command:
docker pull giograno/ocelot:v3
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/ocelot/v3
Then just execute the execall.sh script in the /ocelot/ default initial directory.
The execution will start and the results saved in the folder /ocelot/results/issta.
Content type
Image
Digest
Size
371.4 MB
Last updated
over 8 years ago
docker pull giograno/ocelot:v3