Skip to content

Pull requests: UnitTestBot/klee

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add a bunch of features and fixes
#202 opened Nov 16, 2024 by misonijnik Loading…
fix: Fix the cover-error-call tests bug Something isn't working
#199 opened Sep 17, 2024 by misonijnik Loading…
Fixed a crash when using mock with posix
#198 opened Aug 29, 2024 by ladisgin Loading…
Delete unused scripts for UTBot
#194 opened Jul 31, 2024 by ladisgin Loading…
Taint analysis
#184 opened May 25, 2024 by mamaria-k Loading…
8 tasks
Block Level Search
#146 opened Oct 27, 2023 by misonijnik Draft
Intergration with Cooddy
#112 opened Aug 18, 2023 by Columpio Draft
ProTip! Exclude everything labeled bug with -label:bug.