From 172e2c39e31aa8abb1feb005ec623c1f84249129 Mon Sep 17 00:00:00 2001
From: Michele <m.mastella@rug.nl>
Date: Mon, 9 Jan 2023 14:50:37 +0100
Subject: [PATCH] Added verbosity to the channel_source

---
 act/test_bench_lib.act | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/act/test_bench_lib.act b/act/test_bench_lib.act
index edb6dd9..0bddd8e 100644
--- a/act/test_bench_lib.act
+++ b/act/test_bench_lib.act
@@ -39,14 +39,17 @@ function fcontrol_get(int dontcare) : int;
 function fcontrol_wait(int dontcare) : int;
 
 
-export template<pint BIT_WIDTH;pint ID>
+export template<pint BIT_WIDTH;pint ID; pint VERBOSE>
 defproc channel_source(chan!(int<BIT_WIDTH>) out; chan?(int) sim_step; chan!(int<1>) done)
 {
   int current_step, t,data;
   chp {
    *[ sim_step?current_step; t := 1;
     *[ t = 1 -> t := fsource_next(ID,current_step);
-      [ t = 1 -> data := fsource_get(ID,BIT_WIDTH); out!data ; log("send ", data, " on source ", ID) 
+      [ t = 1 -> data := fsource_get(ID,BIT_WIDTH); out!data ; 
+      [   VERBOSE >= 1 -> log("send ", data, " on source ", ID) 
+      []  else -> skip
+      ]      
       [] else -> done!1
       ]
     ]