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