Commit d4c990a7 authored by Simon Barner's avatar Simon Barner
Browse files


Issue-Ref: 3826

Signed-off-by: Simon Barner's avatarSimon Barner <>
parent aa3ff3e0
......@@ -10,4 +10,4 @@ b646b9201432074bec0a1b0c408255b982474b32 GREEN 0ac11438943e72798330e76caff50782d1970cb4 GREEN ed6b5d4e28a2f445d71890b5e5718717b8457796 GREEN 34ea0a9a476bb2527cf0114871073ce25c0df09c GREEN 29fee598be4cda0dff1897c512e6d161ceb7e15d YELLOW 3da57235afcc261ac9f2f81485b1267d47ec4403 GREEN
......@@ -67,7 +67,8 @@ public class TaskWcetTableStaticImpl {
if(!freq.getFrequenciesHz().contains(frequency)) {
return null;
// Scale WCET to provided frequency (relative to base frequency)
// Scale WCET to provided frequency (relative to base frequency).
// Note: Rounding mode needs to be set in order to avoid a potential ArithmeticException
return (wcet.multiply(valueOf(baseFrequency))).divide(valueOf(frequency),
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment