Closed Jus-Codin closed 5 months ago
I do see that the code explicitly mentions assumptions (plural) and later strips the s
to get the singular form. However, tracing the logic, I don't see how it could ever find assumptions. And looking at this test, it only performs some pretty weak assertions on the assumptions (it won't catch the condition you're describing). So yeah, probably a bug.
Fix released in v5.0.1.
Assumptions seem to be inaccessible from
Result.assumptions
, which always returns an empty tuple iterator This seems to be caused by the function here.When
Result.assumptions
is called, the function is attempting to access the keyassumption
However, based on the sample query
pi
, assumptions are stored in the keyassumptions
:Is this a bug, or intended behaviour?