Builder klee-2.7-x86_64-linux Build #61

Results:

Build successful

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. get_builddir set props: builddir ( 0 secs )
   1. stdio
   2. property changes
2. svn-llvm update [branch] r149528 ( 9 secs )
   1. stdio
3. configure configure Release+Asserts ( 39 secs )
   1. stdio
4. compile compile llvm ( 2 mins, 20 secs )
   1. stdio
5. svn-klee update r149528 ( 3 secs )
   1. stdio
6. configure_1 configure ( 5 secs )
   1. stdio
7. compile_1 compile klee warnings ( 1 mins, 5 secs )
   1. stdio
   2. warnings
8. test test 91 tests 91 passed ( 4 mins, 0 secs )
   1. stdio
   2. dg.sum
   3. tests.XFAIL

Build Properties:

Blamelist:

1. dyatkovskiy

Timing:

All Changes:

1. Change #91

   Changed by	dyatkovskiy
   Changed at	Wed 01 Feb 2012 15:03:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	149528

   Comments

   Second compatability fix for SwitchInst refactoring (added compatability with llvm versions < 3.1).
   

   Changed files

   • lib/Core/Executor.cpp
   • lib/Module/LowerSwitch.cpp