xref
: /
linux
/
tools
/
verification
/
rvgen
/
tests
/
specs
/
test_invalid.ltl
(revision be22e55b37bc3a2d9cc9dc60ede5940131d4c873)
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
RULE = A invalid B
2