User Tools

Site Tools


sv-comp_2015_bit-vectors

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sv-comp_2015_bit-vectors [2015/01/14 09:25]
ahorn created
sv-comp_2015_bit-vectors [2015/01/14 10:22] (current)
mictau
Line 1: Line 1:
-Hello+<​code>​ 
 +# For Arrays, BitVectors, ControlFlowInteger/​loop-acceleration:​ 
 +# time cbmc --verbosity 10 with increasing unwinding bounds to figure out 
 +# whether memory or CPU time is the main limiting factor; then use gprof (CPU 
 +# time) or valgrind/​massif (memory) to identify the key bits requiring 
 +# improvement 
 + 
 +# Too few unwindings (>100000 required) 
 +BitVectors/​bitvector-loops/​overflow_false-unreach-call1.i 
 +</​code>​
sv-comp_2015_bit-vectors.txt · Last modified: 2015/01/14 10:22 by mictau