Whitespace change.
---
generator/tests.ml | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/generator/tests.ml b/generator/tests.ml
index 1db3fbe..06a51c3 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 = [
@@ -88,6 +94,8 @@ let tests = [
];
};
+ (* Tests of various features. *)
+
"tests/9p", {
defaults with
check = [
@@ -324,6 +332,8 @@ let tests = [
];
};
+ (* Regression tests. *)
+
"tests/regressions", {
defaults with
check_fast = [
@@ -361,6 +371,8 @@ let tests = [
];
};
+ (* Test tools written in C. *)
+
"cat", {
defaults with
check = [
--
2.0.4