Allow a simpler form of stats_num_field where all platforms use the same value
[ghc.git] / testsuite / driver /
drwxr-xr-x   ..
-rw-r--r-- 9366 runtests.py
-rw-r--r-- 7195 testglobals.py
-rw-r--r-- 75314 testlib.py
-rw-r--r-- 946 testutil.py