Build Result
Build-Date:
2025-06-15 04:46:47.938 +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