[ 0:00] + divine help
[ 0:00] + grep check
[ 0:00]   $ divine check [options] {file} {vector}*
[ 0:00]   DIVINE is an LLVM-based model checker. This means it can directly work with
[ 0:00]   file), you can use 'check' or 'verify' directly, without any intermediate steps.
[ 0:00]       $ divine check ./widget
[ 0:00]   If `check` or `verify` find a problem in your program, they will print basic info
[ 0:00] + divine help check
[ 0:00] + grep -- --symbolic
[ 0:00]   --symbolic                 enable semi-symbolic data representation
[ 0:00]   --solver {string}          select a constraint solver to use in --symbolic mode
[ 0:00] + not divine help goo
[ 0:00] + grep -i 'unknown command'
[ 0:00] ERROR: unknown command goo
[ 0:00] + divine help version
[ 0:00] 
[ 0:01] SYNOPSIS
[ 0:01] 
[ 0:01]   $ divine version [options]
[ 0:01] 
[ 0:01] + check debris
[ 0:01] + test -e warning