[HW5-3] What are the run-time parameters of CBMC for example?

swtv-kaist / cs458-fall22

1 stars 0 forks source link

Closed retroinspect closed 1 year ago

retroinspect commented 1 year ago

Is it about the command line options running cbmc? Or, is it about environment setup?

ahcheongL commented 1 year ago

It means the command line.