diff --git a/repos/os/run/cpu_quota.run b/repos/os/run/cpu_quota.run index 2fe1bf0ed2..9e07fbbfed 100644 --- a/repos/os/run/cpu_quota.run +++ b/repos/os/run/cpu_quota.run @@ -143,7 +143,7 @@ run_genode_until ".*done.*\n.*done.*\n.*done.*\n" 100 proc check_counter { name opt cnt total_cnt } { - set err 1 + set err 0.01 set is [expr double($cnt) / $total_cnt ] set is_pc [expr double(round($is * 100000)) / 1000] set opt_pc [expr double(round($opt * 100000)) / 1000]