Builder klee-x86_64-linux Build #63

Results:

Failed test

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. get_builddir set props: builddir ( 0 secs )
   1. stdio
   2. property changes
2. svn-llvm update r150355 ( 43 secs )
   1. stdio
3. svn-clang update r150355 ( 1 mins, 15 secs )
   1. stdio
4. configure configure Release+Asserts ( 1 mins, 30 secs )
   1. stdio
5. compile compile Release+Asserts warnings ( 1 hrs, 23 mins, 29 secs )
   1. stdio
   2. warnings
6. svn-klee update r150355 ( 5 secs )
   1. stdio
7. configure_1 configure ( 5 secs )
   1. stdio
8. compile_1 compile klee warnings ( 2 mins, 35 secs )
   1. stdio
   2. warnings
9. test test 91 tests 17 passed 74 failed failed ( 35 secs )
   1. stdio
   2. dg.sum
   3. tests.FAIL
   4. tests.XFAIL

Build Properties:

Blamelist:

1. pcc

Timing:

All Changes:

1. Change #92

   Changed by	pcc
   Changed at	Sun 12 Feb 2012 18:27:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	150354

   Comments

   Update for LLVM changes - there is no more "unwind" instruction.
   
   Patch by arrowdodger!

   Changed files

   • lib/Core/Executor.cpp
   • lib/Core/StatsTracker.cpp

2. Change #93

   Changed by	pcc
   Changed at	Sun 12 Feb 2012 18:27:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	150355

   Comments

   Teach KLEE how to handle new ConstantDataSequential type.
   
   Patch by arrowdodger!

   Changed files

   • lib/Core/Executor.cpp