Builder klee-x86_64-linux Build #55

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 r146353 ( 19 secs )
   1. stdio
3. svn-clang update r146353 ( 23 secs )
   1. stdio
4. configure configure Release+Asserts ( 1 mins, 21 secs )
   1. stdio
5. compile compile Release+Asserts warnings ( 34 mins, 12 secs )
   1. stdio
   2. warnings
6. svn-klee update r146353 ( 2 secs )
   1. stdio
7. configure_1 configure ( 5 secs )
   1. stdio
8. compile_1 compile klee warnings ( 1 mins, 11 secs )
   1. stdio
   2. warnings
9. test test 91 tests 17 passed 74 failed failed ( 11 secs )
   1. stdio
   2. dg.sum
   3. tests.FAIL
   4. tests.XFAIL

Build Properties:

Blamelist:

1. cristic

Timing:

All Changes:

1. Change #82

   Changed by	cristic
   Changed at	Sun 11 Dec 2011 17:11:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	146351

   Comments

   Patch by Paul Marinescu that fixes an issue causing KLEE to fail on some platforms with
   KLEE: ERROR: unable to load symbol(__dso_handle) while initializing globals. 
   
   

   Changed files

   • lib/Core/Executor.cpp

2. Change #83

   Changed by	cristic
   Changed at	Sun 11 Dec 2011 17:37:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	146352

   Comments

   Patch by Ben Gras fixing a few minor issues: adds missing includes,
   fixes the ntohs prototype in klee-libc, and removes some unused code.
   

   Changed files

   • lib/Core/Executor.cpp
   • lib/Solver/Solver.cpp
   • runtime/klee-libc/htonl.c
   • tools/klee/main.cpp

3. Change #84

   Changed by	cristic
   Changed at	Sun 11 Dec 2011 17:51:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	146353

   Comments

   Patch by Ben Gras for MINIX: no stat64 under MINIX.
   

   Changed files

   • tools/gen-random-bout/gen-random-bout.cpp