wcet_nop

.vscode/tasks.json

@@ -28,9 +28,21 @@
             ]
         },
         {
-            "label": "xargo build --example nested --features wcet_bkpt",
+            "label": "xargo build --release --example nested",
             "type": "shell",
-            "command": "xargo build --features \"wcet_bkpt\" --example nested ",
+            "command": "xargo build --release --example nested",
+            "group": {
+                "kind": "build",
+                "isDefault": true
+            },
+            "problemMatcher": [
+                "$rustc"
+            ]
+        },
+        {
+            "label": "xargo build --release --example nested --features wcet_nop",
+            "type": "shell",
+            "command": "xargo build --release --features \"wcet_nop\" --example nested ",
             "group": {
                 "kind": "build",
                 "isDefault": true

Cargo.toml

@@ -32,6 +32,7 @@ version = "0.1.0"
 
 [features]
 wcet_bkpt = [] 
+wcet_nop = [] 
 
 [profile.release]
 lto = true

src/lib.rs

@@ -140,11 +140,13 @@ where
                     let old = basepri::read();
                     let hw = (max_priority - ceiling) << (8 - _nvic_prio_bits);
                     basepri::write(hw);
-                    if cfg!(feature = "wcet_bkpt") {bkpt();} else {nop();}
-
+                    if cfg!(feature = "wcet_bkpt") { bkpt(); } 
+                    if cfg!(feature = "wcet_nop") { nop(); }
                     
                     let ret = f(data, &mut Threshold::new(ceiling));
-                    if cfg!(feature = "wcet_bkpt") {bkpt();} else {nop();}
+
+                    if cfg!(feature = "wcet_bkpt") { bkpt(); } 
+                    if cfg!(feature = "wcet_nop") { nop(); }
                     basepri::write(old);
                     ret
                 }