Builder klee-2.6-x86_64-linux Build #63

Results:

Failed compile_1

SourceStamp:

Repository	http://llvm.org/svn/llvm-project/klee/trunk
Revision	150355
Got Revision	150355
Changes	see below

BuildSlave:

klee.minormatter.com

Reason:

scheduler

Steps and Logfiles:

get_builddir set props: builddir ( 0 secs )
1. stdio
2. property changes
svn-llvm update [branch] r150355 ( 11 secs )
1. stdio
configure configure Release+Asserts ( 49 secs )
1. stdio
compile compile llvm ( 2 mins, 20 secs )
1. stdio
svn-klee update r150355 ( 3 secs )
1. stdio
configure_1 configure ( 5 secs )
1. stdio
compile_1 compile klee failed ( 2 secs )
1. stdio
test
1. - no logs -

Build Properties:

Name	Value	Source
branch	None	Build
builddir	/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux	SetProperty Step
buildername	klee-2.6-x86_64-linux	Builder
buildnumber	63	Build
got_revision	150355	Source
jobs	2	BuildSlave
project		Build
repository	http://llvm.org/svn/llvm-project/klee/trunk	Build
revision	150355	Build
scheduler	all	Scheduler
slavename	klee.minormatter.com	BuildSlave
warnings-count	0	WarningCountingShellCommand

Blamelist:

pcc

Timing:

Start	Sun Feb 12 18:38:30 2012
End	Sun Feb 12 18:42:03 2012
Elapsed	3 mins, 32 secs

All Changes:

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
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