| ... | @@ -266,7 +266,7 @@ test "os.time.timestamp" { | ... | @@ -266,7 +266,7 @@ test "os.time.timestamp" { |
| 266 | | 266 | |
| 267 | test "os.time.Timer" { | 267 | test "os.time.Timer" { |
| 268 | const ns_per_ms = (ns_per_s / ms_per_s); | 268 | const ns_per_ms = (ns_per_s / ms_per_s); |
| 269 | const margin = ns_per_ms * 50; | 269 | const margin = ns_per_ms * 150; |
| 270 | | 270 | |
| 271 | var timer = try Timer.start(); | 271 | var timer = try Timer.start(); |
| 272 | sleep(0, 10 * ns_per_ms); | 272 | sleep(0, 10 * ns_per_ms); |