Assertion: saltshaker | /r/CapableOf | find 1 bug
Facets:
value: in stoke
type: LOCATION
Source sentences:
text: SaltShaker verified the RockSalt semantics of over 15,000 instruction instantiations in under 2h, found 7 bugs in RockSalt, and found 1 bug in STOKE.