Thanks to Dominic Chen, we now have a new functioning buildbot,
accessible at http://vm-klee.doc.ic.ac.uk:55555/ (and linked from the
main webpage). It builds KLEE under Ubuntu 12.04 with LLVM 2.9 and STP
r940 (klee-stable) as well as with LLVM 3.3 and the latest STP
(klee-unstable).
Please let me now if you would like to run a buildslave for KLEE on a
different environment, that would certainly be useful.
Best,
Cristian
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
