User Tools

Site Tools


sv-comp_2015_concurrency

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sv-comp_2015_concurrency [2015/01/14 14:55]
ahorn [Performance bug in CBMC]
sv-comp_2015_concurrency [2015/01/14 14:55] (current)
ahorn [Performance bug in CBMC]
Line 172: Line 172:
  
 CBMC is also too slow for the following benchmarks (existing patches in SSA patch set would likely help): CBMC is also too slow for the following benchmarks (existing patches in SSA patch set would likely help):
- 
-A preliminary list, further sub-directories may have problems not yet listed: 
 <​code>​ <​code>​
 Concurrency/​pthread/​queue_longer_false-unreach-call.c Concurrency/​pthread/​queue_longer_false-unreach-call.c
sv-comp_2015_concurrency.txt ยท Last modified: 2015/01/14 14:55 by ahorn