blob: c9d66db131521e5a5749b7d36a8a0591b4b58142 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(seek
(
(wf waveform)
(ps process)
)
(CTL_verifies ps
(EF
(and
(is_read_structure "(???)")
(is_read_element "0" "+")
(is_read_element _ wf)
(is_read_element _ "L")
)
)
)
)
|
