Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Issues: sosy-lab/sv-benchmarks

Repository moved to GitLab
#1308 by dbeyer was closed Oct 3, 2021
Closed 1
73 Open 208 Closed
73 Open 208 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Use of __VERIFIER_nondet_* functions that aren't specified in SV-COMP rules affects SV-COMP rules C Task in language C issue with benchmark
#1304 opened Sep 7, 2021 by RyanGlScott
1
Reachable error in pthread-ext/41_FreeBSD_abd_kbd_sliced C Task in language C issue with benchmark
#1300 opened Jun 7, 2021 by schuessf
Benchmarks for weak memory models
#1297 opened Apr 26, 2021 by hernanponcedeleon
3
__builtin_unreachable() in LDV benchmarks
#1296 opened Apr 9, 2021 by sim642
3
"Repeated" benchmarks in pthread-wmm C Task in language C duplicate
#1292 opened Feb 4, 2021 by hernanponcedeleon
SV-COMP concurrency benchmarks with data races
#1291 opened Jan 29, 2021 by fatimahkj
3
geo1-ll.c can overflow C Task in language C help wanted issue with benchmark
#1289 opened Jan 11, 2021 by hernanponcedeleon
3
Incorrect Verification Task issue with benchmark Java Task in language Java
#1288 opened Dec 23, 2020 by sohah
MemSafety - unset subproperty for false verdict C Task in language C issue with benchmark
#1285 opened Dec 20, 2020 by versokova
LDV tasks with undefined behaviour and/or wrong verdicts C Task in language C issue with benchmark
#1270 opened Dec 7, 2020 by tautschnig 100+
3
Questionable verdict of ldv-validator-v0.8/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_ldv-val-v0.8.cil.out.i C Task in language C
#1245 opened Nov 27, 2020 by zvonimir
4
Inconsistency in unreach-call verdicts for verifythis: tree_del_rec.yml, tree_del_iter.yml and tree_max.yml C Task in language C for verification issue with benchmark
#1237 opened Nov 24, 2020 by holznerst
1
CI for coverage properties C Task in language C CI Continous Integration
#1213 opened Nov 4, 2020 by lembergerth
1
Unreach-call verdict of ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point.cil.out.yml C Task in language C issue with benchmark
#1207 opened Nov 2, 2020 by sim642
4
Seeding bugs in AWS benchmarks
#1183 opened Oct 24, 2020 by zvonimir
4
Reachability benchmarks with overflow C Task in language C issue with benchmark
#1166 opened Oct 9, 2020 by hernanponcedeleon
4
Document and improve PR merge policy documentation
#1149 opened Oct 1, 2020 by MartinSpiessl
3
Category Structure for SV-COMP 2021 category definitions
#1127 opened Sep 23, 2020 by MartinSpiessl
Witness format and validators for the proposed data-race category data-race Issues about the data-race category
#1126 opened Sep 23, 2020 by MartinSpiessl
3
More precise data model in task definitions? affects SV-COMP rules C Task in language C
#1125 opened Sep 22, 2020 by PhilippWendler
6
Use unpreprocessed files in task definitions affects SV-COMP rules C Task in language C
#1124 opened Sep 21, 2020 by MartinSpiessl
2
Do not track preprocessed files in this repository build system and metadata C Task in language C
#1123 opened Sep 21, 2020 by MartinSpiessl
3
nla-digbench tasks freire{1,2}.c are flawed C Task in language C issue with benchmark
#1118 opened Sep 20, 2020 by MartinSpiessl
3
PR #920 needs some fixes (undefined behavior was overlooked, fixed task simplified the program too much) C Task in language C help wanted issue with benchmark
#1105 opened Aug 18, 2020 by MartinSpiessl
3
StringBuilderConstructors01 exposes in fact a violation_witness due to overflow when following Java Spec Java Task in language Java
#1103 opened Jul 22, 2020 by pointhi
2
ProTip! Adding no:label will show everything without a label.