test_invalid.ltl « specs « tests « rvgen « verification « tools - linux-next.git - Linux kernel latest source

summary refs log tree commit diff

path: root/tools/verification/rvgen/tests/specs/test_invalid.ltl

blob: cf36307e003c998359fb789ba9d914361c911687 (plain) (blame)

1	`RULE = A invalid B`