User Tools

Site Tools



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)
Line 1: Line 1:
 +# 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) 
sv-comp_2015_bit-vectors.txt · Last modified: 2015/01/14 10:22 by mictau