-
Notifications
You must be signed in to change notification settings - Fork 27
Pull requests: UnitTestBot/UTBotCpp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Possible UI/UX improvements of UTBot Wizard #494
#525
by alexey-utkin
was merged Nov 7, 2022
Loading…
Use klee_assume(s[N - 1] == '\0') call for the last element of string
#279
by operasfantom
was merged Jun 14, 2022
Loading…
fix: detect source paths from compile_commands.json by default
#51
by antipeon
was merged Jan 31, 2022
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.