Whitespace change.
---
generator/tests.ml | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/generator/tests.ml b/generator/tests.ml
index be8b765..7467c39 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 = [
@@ -52,6 +54,8 @@ let tests = [
];
};
+ (* Test low-level protocol. *)
+
"tests/protocol", {
defaults with
check = [
@@ -66,6 +70,8 @@ let tests = [
];
};
+ (* Test C API. *)
+
"tests/c-api", {
defaults with
check_fast = [
@@ -93,6 +99,8 @@ let tests = [
];
};
+ (* Tests of various features. *)
+
"tests/9p", {
defaults with
check = [
@@ -341,6 +349,8 @@ let tests = [
];
};
+ (* Regression tests. *)
+
"tests/regressions", {
defaults with
check_fast = [
@@ -380,6 +390,8 @@ let tests = [
];
};
+ (* Test tools written in C. *)
+
"cat", {
defaults with
check = [
--
2.5.0