curl inspired python tweaks can't be tested because the C++ crashes.

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 5 years ago

ianamason commented 5 years ago

build.sh in examples/portfolio/curl on Linux illustrates the issue.

ianamason commented 5 years ago

Ooops. Did not mean to close this. since it has not yet got the loving attention of Senor @caballa