noctua icon indicating copy to clipboard operation
noctua copied to clipboard

Info Tab - provides "info" about reasoning even when reasoner is off

Open krchristie opened this issue 2 years ago • 0 comments

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)

20220621-InfoTab-withoutReasoner

20220621-InfoTab-withReasoner .

krchristie avatar Jun 21 '22 18:06 krchristie