1 files changed, 36 insertions, 0 deletions
diff --git a/tests/good/waittime.defs b/tests/good/waittime.defs
new file mode 100644
index 0000000..0de7aef
--- /dev/null
+++ b/tests/good/waittime.defs
@@ -0,0 +1,36 @@
+/*
+   Copyright (C) 2016 Free Software Foundation, Inc.
+
+   This file is part of GNU MIG.
+
+   GNU MIG is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License as
+   published by the Free Software Foundation; either version 2, or (at
+   your option) any later version.
+
+   GNU MIG is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with GNU MIG.  If not, see <http://www.gnu.org/licenses/>.  */
+
+/* Tests the wait time directive.  */
+subsystem timeout 100;
+
+import <stdint.h>;
+#include "../base_types.defs"
+
+/* All routines will have this timeout.  */
+waittime 2;
+
+routine factorial(port : mach_port_t;
+                  n : int64_t;
+                  out result : int64_t);
+
+/* This routine has a waittime argument.  */
+routine factorial_waittime(port : mach_port_t;
+                           waittime wait : int32_t;
+                           n : int64_t;
+                           out result : int64_t);