Bpex is tested on the following operating systems:

• Ubuntu 16.04

Bpex is tested on the following Python versions:

• python 3.7

Running example and benchmark:

• numpy

Development or run other programs:

• clang-3.7

The examples/ directory contains an example program:

• c.c is one of the correct example from the benchmark
• w.c is one of the correct example from the benchmark
• input is the testcase
• mark is the marked alignments
• c_symb and w_symb are complied traces from c.c and w.c

To generate feedback, use:

python3 Bpex feedback examples/1/input examples/1/w.c examples/1/c.c --mark examples/1/mark -symb --sw examples/1/w_symb --sc examples/1/c_symb --verbose 1

To perform alignment, use:

python3 Bpex align examples/1/input examples/1/w.c examples/1/c.c --mark examples/1/mark -symb --sw examples/1/w_symb --sc examples/1/c_symb --verbose 1

To reproduce the experiment, use:

python3 run.py -option all

To run the benchmark in different options (rq2 and rq3), use:

python3 run.py -option [bpex/fcd/.../iter_2]