Skip to content

parametric computation works again

Grebant Sandro requested to merge caml2 into master

Fixing parametric loop bounds and parametric WCET for functions (related to issue #2 ). Tested with:

  • loop bound(s) only
  • parametric WCET for funtion only
  • loop bound + parametric WCET for function

Merge request reports