- install oprofile and gdb using your package manager, these are used to sample execution traces
- follow the general instillation instructions in README.txt to install OCaml CIL etc…
- build the .s assembly file with something like
gcc -S program.c
- start oprofile (pass the –no-vmlinux option if needed)
sudo opcontrol --start
- repair is run in the same manner as with C level repairs, the
contents of an example configuration file are included below
--program program.s --pos-tests 5 --neg-tests 1 --allow-coverage-fail --search ga --keep-source --promut 1 --popsize 100 --generations 10 --asm-sample-runs 1000
ray-chu / gen-prog-test Goto Github PK
View Code? Open in Web Editor NEWLicense: GNU General Public License v2.0