-
Notifications
You must be signed in to change notification settings - Fork 47
Pull requests: UnitTestBot/UTBotJava
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
TestCaseGenerator
use UsvmSymbolicEngine
for entire class
comp-symbolic-engine
#2716
by IlyaMuravjov
was merged Dec 13, 2023
Loading…
4 of 6 tasks
Make UtBot working without usvm tokens
comp-contest-estimator
Issue is related to contest estimator
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
#2714
by EgorkaKulikov
was merged Dec 13, 2023
Loading…
4 of 6 tasks
Improve detection of NPEs caused by this instance fields being null in Spring unit tests
comp-fuzzing
Issue is related to the fuzzing
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
Make Spring-specific no NPE speculation to only trigger for mocks
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2572
by IlyaMuravjov
was closed Sep 29, 2023
•
Draft
5 of 6 tasks
Let concrete add additional mocks to Issue is related to Instrumented process
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
UtCompositeModel
created by the engine
comp-instrumented-process
#2553
by IlyaMuravjov
was merged Aug 28, 2023
Loading…
6 tasks done
Make Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
SpringTypeReplacer
actually call its delegate
comp-spring
Use custom by lazy in SpringApplicationContext because of RD
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
Fix speculativelyCannotProduceNullPointerException in Spring projects
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2402
by EgorkaKulikov
was merged Jul 12, 2023
Loading…
4 of 6 tasks
Significantly refactor UtBot autotests
comp-codegen
Issue is related to code generator
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-qa
Issue is related to QA process
ctg-refactoring
Issue related to refactoring process
Support direct field accesses in call models
comp-codegen
Issue is related to code generator
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-refactoring
Issue related to refactoring process
#2261
by EgorkaKulikov
was merged Jun 7, 2023
Loading…
5 of 6 tasks
Support direct field accesses in call models
comp-codegen
Issue is related to code generator
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-refactoring
Issue related to refactoring process
#2257
by EgorkaKulikov
was closed Jun 6, 2023
Loading…
5 of 6 tasks
Remove classId comparison for UtCompositeModel
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
#2193
by EgorkaKulikov
was merged May 2, 2023
Loading…
5 of 6 tasks
Make loading Spring bean classes even more safe
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
#2154
by IlyaMuravjov
was merged Apr 17, 2023
Loading…
4 of 6 tasks
Verify mock correctness and selection a little more careful
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2153
by EgorkaKulikov
was merged Apr 17, 2023
Loading…
3 of 6 tasks
Make obtaining Spring beans a little more safe
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
#2110
by EgorkaKulikov
was merged Apr 11, 2023
Loading…
4 of 6 tasks
Added a test with a path diversion because of jdk statics
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-question
Further information is requested
#2067
by Damtev
was merged Mar 29, 2023
Loading…
5 of 6 tasks
Static methods mocking fix
comp-instrumented-process
Issue is related to Instrumented process
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2054
by EgorkaKulikov
was merged Mar 28, 2023
Loading…
6 tasks done
Avoid false NPE tests for Spring classes
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
Fix casts in overflow checking function
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2024
by CaelmBleidd
was merged Mar 24, 2023
Loading…
4 of 6 tasks
Add missed mockInfoGenerator for system static objects
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#2014
by CaelmBleidd
was merged Mar 22, 2023
Loading…
6 tasks done
Change a hard limit for arrays size
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
#2006
by CaelmBleidd
was merged Mar 22, 2023
Loading…
5 of 6 tasks
Fix traversing concrete types in NoImplementors mode
comp-spring
Issue is related to Spring projects support
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
Kryo race fix
comp-instrumented-process
Issue is related to Instrumented process
comp-rd
Issue is related RD
comp-summaries
Something related to the method names, code comments and display names generation
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-refactoring
Issue related to refactoring process
#1968
by Domonion
was merged Mar 17, 2023
Loading…
Fix wrong mocking configuration
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-bug-fix
PR is fixing a bug
#1942
by EgorkaKulikov
was merged Mar 14, 2023
Loading…
4 of 6 tasks
Replace z3 jar files with KSMT dependency
comp-symbolic-engine
Issue is related to the symbolic execution engine
ctg-enhancement
New feature, improvement or change request
lang-java
Issue is related to Java support
#1941
by CaelmBleidd
was merged Mar 15, 2023
Loading…
3 of 6 tasks
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.