From d582779304575d09e60be8c482ca14a0341ebc08 Mon Sep 17 00:00:00 2001 From: "Edward A. Lee" Date: Fri, 29 Nov 2024 06:59:13 -0800 Subject: [PATCH] Format --- examples/C/src/patterns/Pipeline.lf | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/examples/C/src/patterns/Pipeline.lf b/examples/C/src/patterns/Pipeline.lf index 7c4728e2..6b6bb6b9 100644 --- a/examples/C/src/patterns/Pipeline.lf +++ b/examples/C/src/patterns/Pipeline.lf @@ -1,12 +1,12 @@ /** * Pipeline pattern where a periodic source feeds a chain of reactors that can all execute in * parallel at each logical time step. This example shows how a deadline can interfere with - * parallelism if the GEDF_NP scheduler is used. The target parameter `scheduler` overrides - * the default scheduler to use the NP scheduler, which results in fully parallel execution. + * parallelism if the GEDF_NP scheduler is used. The target parameter `scheduler` overrides the + * default scheduler to use the NP scheduler, which results in fully parallel execution. * * @author Edward A. Lee */ - target C { +target C { scheduler: NP, timeout: 1 sec } @@ -15,9 +15,7 @@ import SendCount, Receive from "lib/SendersAndReceivers.lf" import TakeTime from "lib/TakeTime.lf" reactor Deadline extends TakeTime { - reaction(in) {= - =} deadline (100 ms) {= - =} + reaction(in) {= =} deadline(100 ms) {= =} } federated reactor {