Revert counting benchmark to original state

Author: jhaye

Rust/Savina/src/micro/Counting.lf

@@ -13,11 +13,8 @@
  */
 
 target Rust {
-    build-type: MinSizeRel,
+    build-type: Release,
     cargo-features: ["cli"],
-    cargo-dependencies: {
-        cpu-time: "1",
-    },
 };
 
 import BenchmarkRunner from "../lib/BenchmarkRunner.lf";
@@ -26,8 +23,6 @@ reactor ProducerReactor(count_to: u32(1000000)) {
     state i: u32(0); // current counter value
     state count_to(count_to);
 
-    state start: ProcessTime({=ProcessTime::now()=});
-
     input inStartCounting: unit;
     output outFinishedCounting: unit;
 
@@ -38,10 +33,6 @@ reactor ProducerReactor(count_to: u32(1000000)) {
 
     logical action count: unit;
 
-    preamble {=
-        use cpu_time::ProcessTime;
-    =}
-
     reaction(inStartCounting) -> count, outResetCounter {=
         // reset counter
         self.i = 0;
@@ -76,9 +67,9 @@ reactor CountingReactor {
     input inIncrement: unit;
     input inRetrieveResult: unit;
     output outSendResult: u32;
-
+    
     state count: u32(0);
-
+    
     reaction(inReset) {=
         self.count = 0;
     =}
@@ -94,13 +85,13 @@ reactor CountingReactor {
 main reactor (num_iterations: usize(12), count_to: u32(1000000)) {
     state num_iterations(num_iterations);
     state count_to(count_to);
-
+    
     producer = new ProducerReactor(count_to = count_to);
     runner = new BenchmarkRunner(num_iterations=num_iterations);
-
+    
     runner.start -> producer.inStartCounting;
     producer.outFinishedCounting -> runner.finished;
-
+    
     reaction(startup) {=
         print_benchmark_info("CountingBenchmark");
         print_args!(
@@ -111,14 +102,14 @@ main reactor (num_iterations: usize(12), count_to: u32(1000000)) {
         );
         print_system_info();
     =}
-
+    
     counter = new CountingReactor();
-
+    
     producer.outIncrement -> counter.inIncrement;
     producer.outResetCounter -> counter.inReset;
     producer.outRetrieveResult -> counter.inRetrieveResult;
     counter.outSendResult -> producer.inResult;
-
+    
     preamble {=
         use crate::{print_args,reactors::benchmark_runner::{print_system_info, print_benchmark_info}};
     =}