Gidon Ernst comments

Repositories
Issues
Comments

Results 3 comments of


                                            Gidon Ernst

Seeding bugs in AWS benchmarks

It would be great to have failing variants. I am not actually familiar with the actual code, I just ported the benchmarks to SV-COMP, so I would doubt whether I...

Seeding bugs in AWS benchmarks

@MartinSpiessl probably. I think these would be two separate goals: seeded artificial bugs determine the quality of the test-suite, and actual bugs from the upstream bug tracker would be nice...

Inconsistency in unreach-call verdicts for verifythis: tree_del_rec.yml, tree_del_iter.yml and tree_max.yml

Sorry for my late reply. I recall there was some discussion about these tasks, specifically, that the original version had errors despite the goal of being correct. Hence, I support...