Sign inSign up

giograno/ocelot

By giograno

•Updated over 8 years ago

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

Image
0

476

giograno/ocelot repository overview

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.

Tag summary

Content type

Image

Digest

Size

371.4 MB

Last updated

over 8 years ago

docker pull giograno/ocelot:v3