pbesrewr(1) on Linux

Flags it lists

• --debug
• --help
• --in
• --log-level
• --out
• --pbes-rewriter
• --qlimit
• --quiet
• --rewriter
• --timings
• --verbose
• --version
• -Q
• -d
• -h
• -i
• -o
• -p
• -q
• -r
• -v