Codegen: Fix Souffle option setting SIPS.

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming

https://harvardpl.github.io/formulog/

Apache License 2.0

155 stars 10 forks source link

Codegen: Fix Souffle option setting SIPS. #66

Closed aaronbembenek closed 1 year ago

aaronbembenek commented 1 year ago

The Souffle documentation is wrong about setting a sideways information passing strategy (SIPS): the option is -PRamSIPS:<strategy>, not -PSIPS:<strategy>.