Assertion: saltshaker | /r/CapableOf | find 7 bugs
Facets:
value: in rocksalt
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.