The continuous integration plugin DiaFlux Anomalies is a [commercial plugin | Info Commercial Support] of KnowWE.

It provides some basic checks that help during the development of DiaFlux models with KnowWE. In particular:

|| Check || Description
| No autostart | Fails, when a knowledge base defines DiaFlux models, but no DiaFlux model is defined as the autostart flow
| Combined derivation of solution | Checks, whether there exists a solution for which states are assigned by a DiaFlux node AND a scoring rule. \\ This model may yield truth-maintenance problems.
| Combined derivation of abstraction | Checks, whether there exists an abstraction question for which values are assigned by a DiaFlux node AND an abstraction rule. \\ This model may yield truth-maintenance problems.
| Incomplete choice question | Checks for every choice question in the knowledge base, whether some choice  values are defined.
| Standard question that is derived by an abstraction | This test checks whether there exists a standard question (not an abstraction!), that is derived by an abstraction node of a DiaFlux model or rule. \\ This anomaly is tricky, because a user-entered value always overwrites the value assigned by the action; thus, a rule/DiaFlux model never can revise an already given user value.