Build Result
Build-Date:
2024-08-19 14:23:09.607 +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