search

NeuralNetworkVerification / Marabou

Other
239 stars 86 forks source link

Fix python API examples #768

Closed wu-haoze closed 4 months ago

wu-haoze commented 4 months ago

There are some path and index issues with the python API examples. This PR fixes them. Now all the examples terminate fine.

wu-haoze commented 4 months ago

Can we add running these files to the Python test suites on CI? So we don't have similar regressions in future?

Let me add a workflow to run these files.