Fixed Travis CI badge URL in README

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

27 stars 4 forks source link

Closed zvonimir closed 4 years ago

zvonimir commented 4 years ago

It would also be good to erase the acknowledgements branch since it was merged into master.

ccadar commented 4 years ago

Thanks, @zvonimir , also erased old unneeded branches.