Builder klee-2.6-x86_64-linux Build #56

Results:

Failed compile_1

SourceStamp:

Repository	http://llvm.org/svn/llvm-project/klee/trunk
Revision	146510
Got Revision	146510
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] r146510 ( 9 secs )
1. stdio
configure configure Release+Asserts ( 51 secs )
1. stdio
compile compile llvm ( 2 mins, 19 secs )
1. stdio
svn-klee update r146510 ( 2 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	56	Build
got_revision	146510	Source
jobs	2	BuildSlave
project		Build
repository	http://llvm.org/svn/llvm-project/klee/trunk	Build
revision	146510	Build
scheduler	all	Scheduler
slavename	klee.minormatter.com	BuildSlave
warnings-count	0	WarningCountingShellCommand

Blamelist:

pcc

Timing:

Start	Tue Dec 13 16:01:35 2011
End	Tue Dec 13 16:05:06 2011
Elapsed	3 mins, 30 secs

All Changes:

Change #85

Changed by pcc

Changed at Tue 13 Dec 2011 15:51:51

Repository http://llvm.org/svn/llvm-project/klee/trunk

Revision 146510

Comments
```
Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.

(Yes, we should really be handling more bitwidths here.)
```
Changed files
- lib/Solver/STPBuilder.h