Dear KLEE devs, is there an easy way to view/download the build scripts used by the "Buildbot" running at http://klee.minormatter.com:8010/? If not, would it make sense to set up a Git repository for them?
Thanks, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
