squaresLab / genprog-code

GenProg: heuristic, GP-based automatic program repair for C.
89 stars 27 forks source link

Added Dockerfile #7

Closed ChrisTimperley closed 6 years ago

ChrisTimperley commented 6 years ago

Installs genprog to /opt/genprog and updates PATH. Can be used in combination with BugZoo to conduct reproducible program repair studies.

Can be manually constructed via:

docker build -t genprog .

To check that everything was built correctly, you can spin up an interactive shell to poke genprog:

$ docker run --rm -it genprog
> genprog
GenProg Version: Wed Nov 29 19:30:23 UTC 2017

--allow-coverage-fail false
--appp 0.33333
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--clone-file ""
--compiler "gcc"
--compiler-command ""
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.33333
--describe-machine false

...