1 files changed, 106 insertions, 0 deletions
diff --git a/tests/manifest/result-request.testscript b/tests/manifest/result-request.testscript
new file mode 100644
index 0000000..20fbfbb
--- /dev/null
+++ b/tests/manifest/result-request.testscript
@@ -0,0 +1,106 @@
+# file      : tests/manifest/result-request.testscript
+# copyright : Copyright (c) 2014-2018 Code Synthesis Ltd
+# license   : MIT; see accompanying LICENSE file
+
+test.options += -rq
+
+: valid
+:
+: Roundtrip the result request manifest.
+:
+{
+  : all-values
+  :
+  $* <<EOF >>EOF
+  : 1
+  session: abcd
+  challenge: YQo=
+  :
+  name: libfoo
+  version: 1.0
+  status: error
+  EOF
+
+  : no-challenge
+  :
+  $* <<EOF >>EOF
+  : 1
+  session: abcd
+  :
+  name: libfoo
+  version: 1.0
+  status: error
+  EOF
+
+}
+
+: redefinition
+:
+{
+  : session
+  :
+  $* <<EOI 2>'stdin:3:1: error: result request session redefinition' == 1
+  : 1
+  session: abcd
+  session: abcd
+  EOI
+
+  : challenge
+  :
+  $* <<EOI 2>'stdin:3:1: error: result request challenge redefinition' == 1
+  : 1
+  challenge: YQo=
+  challenge: YQo=
+  EOI
+}
+
+: invalid
+:
+{
+  : empty-session
+  :
+  $* <<EOI 2>'stdin:2:9: error: empty result request session' == 1
+  : 1
+  session:
+  EOI
+
+  : challenge
+  :
+  $* <<EOI 2>'stdin:2:12: error: invalid result request challenge' == 1
+  : 1
+  challenge: abc
+  EOI
+
+  : empty-challenge
+  :
+  $* <<EOI 2>'stdin:2:11: error: empty result request challenge' == 1
+  : 1
+  challenge:
+  EOI
+}
+
+: unknown-name
+:
+$* <<EOI 2>"stdin:2:1: error: unknown name 'x' in result request manifest" == 1
+: 1
+x:
+EOI
+
+: missed
+:
+{
+  : session
+  :
+  $* <<EOI 2>'stdin:3:1: error: no result request session specified' == 1
+  : 1
+  challenge: YQo=
+  EOI
+
+  : result
+  :
+  $* <<EOI 2>'stdin:4:1: error: result manifest expected' == 1
+  : 1
+  session: abc
+  challenge: YQo=
+  EOI
+}