aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/make-tree/valid/assumption-filled
blob: fbf8a3c982711a881dcd0fcc1be85896426fa119 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
assumption
  have " "
  have <dead compose>
  have_chars ",."
  have_range "0" "9"
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (have (@ 2 2-6)
#       (.data
#         (string (@ 2 7-10) ‘" "’)
#       )
#     )
#     (have (@ 3 2-6)
#       (.data
#         (keys (@ 3 7-21) ‘<dead compose>’)
#       )
#     )
#     (have_chars (@ 4 2-12) ‘",."’)
#     (have_range (@ 5 2-12) ‘"0"’ ‘"9"’)
#   )
# )