Command Line Interface¶
usage: sby [options] <config>.ivy
Positional Arguments¶
- <config>.ivy
.ivy file
- <command>
Possible choices: setup, run, prove, status
command to run:
Default:
'run'
Named Arguments¶
- -f, --force
remove the work directory if it already exists
Default:
False- --debug
enable debug logging
Default:
False- --debug-events
enable debug event logging
Default:
False- -j
maximum number of processes to run in parallel
Sub-commands¶
setup¶
read SystemVerilog+IVY sources and setup the work directory
sby setup
run¶
setup and run all proof tasks (default command)
sby run [proofs...]
Positional Arguments¶
- <proof>
proof tasks to run
prove¶
run proof tasks
sby prove [proofs...]
Positional Arguments¶
- <proof>
proof tasks to run
Named Arguments¶
- --reset-schedule
assume that no tasks are currently running or scheduled to run
Default:
False
status¶
show the current proof status
sby status [proofs...]
Positional Arguments¶
- <proof>
proof tasks to run