noctua
noctua copied to clipboard
Info Tab - provides "info" about reasoning even when reasoner is off
Hi,
It seems inappropriate that the Info Tab provides "info" about reasoning even when reasoner is off. When the reasoner is OFF, the Info Tab appears not to know anything about whether or not there is an error and it assumes that there is not.
It would be better if it said something else, maybe like this:
Valid: unknown (turn on reasoner to find status) Violations: unknown (turn on reasoner to find information)
.