Hi Jonathan, Yes, the configurations are available here: http://llvm.org/viewvc/llvm-project/zorg/trunk/buildbot/klee/
- Daniel On Sat, Mar 16, 2013 at 5:48 PM, Jonathan Neuschäfer <[email protected]>wrote: > 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
