Build Result
Build-Date:
2025-07-21 15:06:44.389 +0200
"Tutorial Printer Problems"
(ArticleHasErrors):
SUCCESS
"Tutorial Printer Testcases/No power on printer" "Tutorial Printer Problems"
(TestCase):
SUCCESS
"Tutorial Printer Testcases/Unconnected printer" "Tutorial Printer Problems"
(TestCase):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:CombinedFlowRuleAbstraction):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:CombinedFlowRuleSolution):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:NoAutostart):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:UnusedNode):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:UnusedFlow):
SUCCESS