parametric computation works again
Compare changes
+ 1
− 3
@@ -53,8 +53,6 @@ let insert w (wl, last) =
@@ -75,7 +73,7 @@ let sum loops (l1,w1) (l2,w2) =
Fixing parametric loop bounds and parametric WCET for functions (related to issue #2 ). Tested with: