Whitespace change. --- generator/tests.ml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/generator/tests.ml b/generator/tests.ml index 6a91af6..16a731c 100644 --- a/generator/tests.ml +++ b/generator/tests.ml @@ -30,9 +30,11 @@ let defaults = { check_data = []; check_scripts = []; check_programs = []; } -(* The tests in each subdirectory. *) +(* The tests in each subdirectory. Note that order is important. *) let tests = [ + (* Basic safety tests -- MUST BE FIRST! *) + "tests/qemu", { defaults with check = [ @@ -49,6 +51,8 @@ let tests = [ ]; }; + (* Test low-level protocol. *) + "tests/protocol", { defaults with check = [ @@ -63,6 +67,8 @@ let tests = [ ]; }; + (* Test C API. *) + "tests/c-api", { defaults with check_fast = [ @@ -90,6 +96,8 @@ let tests = [ ]; }; + (* Tests of various features. *) + "tests/9p", { defaults with check = [ @@ -338,6 +346,8 @@ let tests = [ ]; }; + (* Regression tests. *) + "tests/regressions", { defaults with check_fast = [ @@ -377,6 +387,8 @@ let tests = [ ]; }; + (* Test tools written in C. *) + "cat", { defaults with check = [ -- 2.5.0