search

vas-group-imperial / VeriNet

The VeriNet toolkit for verification of neural networks
Other
18 stars 11 forks source link

Bugfix for issue #2 #4

Closed pat676 closed 1 year ago

pat676 commented 1 year ago

Fix a bug where the VNNLibParser throws an error for spec files without spaces between opening and closing paranthesises.