Build Result

Build-Date: 2025-02-28 07:23:36.322 +0100

"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