search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Added wrapper for mono. #35

Closed michael-emmi closed 4 years ago

zvonimir commented 4 years ago

@shazqadeer : Maybe you could merge this for us? I don't have write privileges on this repo. Maybe it would make sense that you make @michael-emmi and myself Owners of the boogie-org organization? That way we would have write access to all repos in that org. Thanks!

zvonimir commented 4 years ago

Also see issue #36.

ccadar commented 4 years ago

@zvonimir I agree it would make sense for the two of you to have write access if you're interested in Boogie. But my suggestion is to make TravisCI checks mandatory, and not merge PRs where the CI fails, like this one.

zvonimir commented 4 years ago

I agree. This requires updating/fixing CI travis script first. I am pretty sure CI is failing since the script/setup got deprecated.

ccadar commented 4 years ago

@michael-emmi Please rebase this so that the CI passes.

ccadar commented 4 years ago

@michael-emmi BTW, don't just set the build mode to Debug. Try something like BUILD_TYPE=${BUILD_TYPE:-Debug} (set to Debug if not already set)

michael-emmi commented 4 years ago

@ccadar updated and rebased.

ccadar commented 4 years ago

Thanks!