aboutsummaryrefslogblamecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid/assumption
blob: b8db1af8b18416d2ffc2827da388973d3b9a06ea (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

















                                                 
assumption
  have <space>
  have_chars " "
  have_range "a" "z"
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (have (@ 2 2-6)
#       (.data
#         (keys (@ 2 7-14) ‘<space>’)
#       )
#     )
#     (have_chars (@ 3 2-12) ‘" "’)
#     (have_range (@ 4 2-12) ‘"a"’ ‘"z"’)
#   )
# )