davidwzhao / souffle-fault-localization Goto Github PK

Hello,
We are very interested in the work of Towards Elastic Incrementalization for Datalog, but I encountered some difficulties when trying to reproduce related experiments:
We use code from the https://github.com/taipan-snake/souffle/tree/incremental-with-provenance-eager-diffs branch, but it cannot be multi-threaded. Can you give us more information?
We use https://github.com/frankmcsherry/dynamic-datalog as the test data.
At present, we use soufflé to compile query.dl, and use the --incremental option during compilation (using -j here will cause compilation failure), but the resulting executable file cannot be run in multiple threads, and it can only use one CPU core.
Can you give us more information about the specific compilation method in the paper?