tartrazine/spec/tests/promela/skip.txt

13 lines
268 B
Plaintext
Raw Permalink Normal View History

2024-08-03 10:36:47 +00:00
---input---
init { skip }
---tokens---
'init' Keyword.Declaration
' ' Text.Whitespace
'{' Punctuation
' ' Text.Whitespace
'skip' Keyword
' ' Text.Whitespace
'}' Punctuation
'\n' Text.Whitespace