diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-08-25 17:49:43 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-08-25 17:49:43 -0700 |
commit | 61079c0fece38f2e797f4eb5ec0376ffedabcd2b (patch) | |
tree | 22461a74605ef952cb1aa7942218933ddfb760cf | |
parent | f35fa61a20a81d0ccbca414a3e4202b21a9c84cb (diff) |
disable test_rand
-rwxr-xr-x | tests/runner.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/runner.py b/tests/runner.py index 32776167..7f573952 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -3781,6 +3781,8 @@ def process(filename): post_build=add_pre_run_and_checks) def test_rand(self): + return self.skip('rand() is now random') # FIXME + src = r''' #include <stdio.h> #include <stdlib.h> |