slash needs a --debug flag

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed ianamason closed 6 years ago

ianamason commented 6 years ago

which will cause it to pass --debug to the opt calls

ianamason commented 6 years ago

Why give it one, when you can do at least three?