tests/manifest/result-request.test


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

# file      : tests/manifest/result-request.test
# copyright : Copyright (c) 2014-2017 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: xyz
  :
  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: xyz
  challenge: xyz
  EOI
}

: empty
:
{
  : session
  :
  $* <<EOI 2>'stdin:2:9: error: empty result request session' == 1
  : 1
  session:
  EOI

  : 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: xyz
  EOI

  : result
  :
  $* <<EOI 2>'stdin:4:1: error: result manifest expected' == 1
  : 1
  session: abc
  challenge: xyz
  EOI
}