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