Skip to main content

Module verifier

bashrs

Module verifier 

Source
Expand description

Output verification and shellcheck integration

Modules§

properties

Functions§

verify
Verify that the given IR satisfies safety properties