search

eriq-augustine / psl

The PSL software from the LINQS lab.
Apache License 2.0
4 stars 7 forks source link

Error Handling: Arithmetic Rule with No Open Predicates #60

Closed eriq-augustine closed 7 years ago

eriq-augustine commented 7 years ago

It just throws a null pointer deep within ADMM instead of erroring out with a nice message at grounding.

(The error comes up because ADMM drops the term for not having constants, and then tries to access it again.)

eriq-augustine commented 7 years ago

I think this got inadvertently fixed in 5e6b51a324493ffb7a5bb71c96437e8e049914e4.