Flex is a framework for fault localization with external oracle using counterfactual execution.
There are two different implementations for two different benchmarks (C and Java).
Directory C and Java contains corresponding implementation, respectively.
Detail instructions are provided in each directory.