Sign in
◑
Theme
android-kvm
/
linux
/
fbd97dd1d3ce32d32fb7be86acc3fdb7c04fa043
/
.
/
tools
/
verification
/
rvgen
/
tests
/
specs
/
test_invalid.ltl
blob: cf36307e003c998359fb789ba9d914361c911687 [
file
]
RULE
=
A invalid B
