From 5189055396f3ba5ec7739e82fc847143004cc4d3 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 3 Jul 2015 12:19:41 +0200
Subject: [PATCH] cpu_quota.run: fix bug in error detection

The test always succeeded because I forgot to set the error tolerance from
my debugging value 1 back to the correct value 0.01 before commiting the
test.

Ref #1616
---
 repos/os/run/cpu_quota.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]