search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
599 stars 79 forks source link

Do not set context in global object. #418

Closed rkaminsk closed 1 year ago

rkaminsk commented 1 year ago

The context to call external functions in programs was set in a global object. When grounding in parallel, the context could get swapped out during grounding leading to undesired behavior and segfaults.