search

NeuralNetworkVerification / Marabou

Other
239 stars 86 forks source link

Generic CLI option for passing flags to external programs #804

Closed wenkokke closed 2 months ago

wenkokke commented 2 months ago

We should add a generic option to the Vehicle CLI for passing flags to external programs, probably in the style of GHC's options.

MatthewDaggitt commented 2 months ago

This was added on the wrong repository.