search

staticafi / symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
http://staticafi.github.io/symbiotic/
MIT License
309 stars 56 forks source link

Make submodules track master branches #227

Open lzaoral opened 2 years ago

lzaoral commented 2 years ago

As agreed on Monday's (9. 5.) meeting, from now on the submodules should track changes in corresponding master branches only. Only these branches are now considered to be stable.

If you want to update the modules to the HEAD, just run git submodule update --remote and commit the changes to this repo.

lzaoral commented 2 years ago

Requires staticafi/sbt-instrumentation#65 and staticafi/sbt-instrumentation#66 as master of dg is not compatible with current master of sbt-instrumentation.

I'm not going to move the HEAD of dg in this PR.

lzaoral commented 2 years ago

@trtikm We can use GitHub's Dependabot to automatically create PRs with submodule updates, run the build and test-suite and merge them if it succeeds. That should be much safer and less breakage-prone than to always pull HEAD of the submodule in the build script and not necessarily testing the new version in CI.

lzaoral commented 2 years ago

That is, finish merging SV-COMP 22 changes to modules, create new main branches and then merge this PR changed to track main branches.

That's a really good idea, @mchalupa! I'll mark this PR as a draft for now.