genprog-code

genprog-code copied to clipboard

ASLR Disabling: During test runs, found some non-determinism in test results due to ASLR. Added a feature to genprog --disable-aslr which disables ASLR (implemented Linux-based genprog support only) Minimization bug...

pdreiter

This turnin request contains a fix to a genprog issue where edits weren't being used with minimized when !minimize_patch is true. Tested solution on minimal scenario identified in issue #28,...

pdreiter

Could not find CIL include path. Is $CIL set correctly?. Stop.

2

Hello... I'm trying to run make in the genprog-code/src folder and give this error. `opam@b0004bce3ca4:~/opam-repository/genprog-code/src$ make ocamlfind: not found Makefile:41: *** Could not find CIL include path. Is $CIL set...

EduardoVera1

Error when running on Coreutils

1

Hi, I have a similar issue with [#20 ](https://github.com/squaresLab/genprog-code/issues/20), but I'm running on docker machine. The cil in installed by 1.7.3 and the developer's test can be run successfully, e.g....

blank-black

Where are the TSE 2012 results?

4

Mysteriously not linked from the old GenProg site, either.

clegoues

I’m stuck and I hope that perhaps that either of you might have some insight on the GenProg code with respect to the AST tree. My goal is to determine...

pdreiter

When minimizing tree-based diff, via `--minimization` switch only, Repair is Found, but get "Fatal error: exception Not_found"

1

After successfully repairing a program, consecutive run of GenProg with `--minimization` switch causes an Abort condition: "Fatal Error: exception Not_found" I was able to duplicate the failure locally with a...

pdreiter

genprog assertion failure when --edit-script and --minimization are both supplied

1

when the minimal set is found by genprog, get an assertion ``` Entering delta, pass number 7... genprog aborting: File "minimization.ml", line 128, characters 9-15: Assertion failed Rep: saving test...

pdreiter

Fatal error: exception Invalid_argument("Random.int") while processing IntroClass/smallest.c

4

Hello, I have been attempting to recreate a few repairs from the IntroClass, specifically using the smallest programs. I have attached the test suite, configuration, and source code below. I...

Dearth

Segmentation fault (core dumped)

3

I am following your installation guide. When I try to run your provided scripts in **test** directory, I always got this message > cilRep: preprocessing IO function signatures: /tmp/tmp1f886d.c /tmp/tmpb5ebe9.c...

thanhtoantnt