super-tool 0.10.2

The Super CLI for verifying software behavior