ci: Souffle upgrade broke CI!

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

https://galoisinc.github.io/cclyzerpp/

BSD 3-Clause "New" or "Revised" License

137 stars 14 forks source link

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

Error: Ignored execution plan for non-recursive clause in unification.dl:408:12

adrianherrera commented 1 year ago

I think you can solve this by making the following change to the Docker files 🤞

apt-get --yes install --no-install-recommends souffle=2.3