-
Notifications
You must be signed in to change notification settings - Fork 45
Pull requests: UnitTestBot/UTBotJava
Pull requests list
Added one more seata related jar to Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
utbot-junit-contest
comp-contest-estimator
#2724
by EgorkaKulikov
was merged Dec 18, 2023
Loading...
5 of 6 tasks
Introduce utbot-usvm module and use it in contest
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
#2715
by EgorkaKulikov
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
USVM to UtBot adapters without contest hacks
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
#2710
by IlyaMuravjov
was merged Dec 8, 2023
Loading...
6 tasks done
Some useful changes from Contest 2023 that were missed in UnitTestBot main branch
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
#2675
by EgorkaKulikov
was merged Nov 7, 2023
Loading...
Introduce Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
Tool.USVM
in ContestEstimator
, implement runUsvmGeneration
comp-contest-estimator
#2666
by IlyaMuravjov
was merged Oct 27, 2023
Loading...
Fix summaries generation for anonymous classes
comp-contest-estimator
Issue is related to contest estimator
comp-fuzzing
Issue is related to the fuzzing
comp-summaries
Something related to the method names, code comments and display names generation
ctg-bug-fix
PR is fixing a bug
#2459
by Markoutte
was merged Jul 31, 2023
Loading...
3 of 6 tasks
Fix JaCoCo for Contest Estimator
comp-contest-estimator
Issue is related to contest estimator
comp-fuzzing
Issue is related to the fuzzing
ctg-bug-fix
PR is fixing a bug
#2373
by Markoutte
was merged Jul 17, 2023
Loading...
3 of 6 tasks
Introduce new single entry point for contest estimator (#1741)
comp-contest-estimator
Issue is related to contest estimator
ctg-refactoring
Issue related to refactoring process
Add codeforces examples to contest estimator
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
#1750
by mmvpm
was merged Jan 27, 2023
Loading...
3 of 6 tasks
2023.3 Release
No suitable method found for assertArrayEquals #1274
comp-contest-estimator
Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
spoon-core-7.0.0
- lower dependency versions even more
comp-contest-estimator
Catch class loading errors in Contest Estimator
comp-contest-estimator
Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
Correct asserts for fields in deepEquals
comp-codegen
Issue is related to code generator
comp-contest-estimator
Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
lang-java
Issue is related to Java support
#1696
by EgorkaKulikov
was merged Jan 18, 2023
Loading...
2 tasks
2023.3 Release
Rebuild Contest Estimator project Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
fastjson-1.2.50
for JDK8
comp-contest-estimator
Rebuilt Contest Estimator Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
spoon-core-7.0.0
for JDK8
comp-contest-estimator
Return soot initialization for contest after its removal
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
spec-performance
Performance-related issue
Correct accessibily for package-private fields
comp-codegen
Issue is related to code generator
comp-contest-estimator
Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
Turn off sandbox as it breaks class loading in case of exception in static constructor
comp-contest-estimator
Issue is related to contest estimator
comp-settings
Issue is related to settings
ctg-bug-fix
PR is fixing a bug
lang-java
Issue is related to Java support
2
ClassNotFoundException from KryoHelper.readObject when running Contes...
comp-contest-estimator
Issue is related to contest estimator
ctg-bug-fix
PR is fixing a bug
#1669
by Vassiliy-Kudryashov
was merged Jan 17, 2023
Loading...
4 tasks done
2023.3 Release
Introduce minimization in ContestEstimator
comp-contest-estimator
Issue is related to contest estimator
comp-minimizer
Issue is related to Minimization phase
ctg-bug-fix
PR is fixing a bug
Improve Contest Estimator performance #1659
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
spec-performance
Performance-related issue
#1662
by Markoutte
was merged Jan 13, 2023
Loading...
3 of 7 tasks
2023.3 Release
Use summaries in ContestEstimator
comp-contest-estimator
Issue is related to contest estimator
comp-summaries
Something related to the method names, code comments and display names generation
ctg-enhancement
New feature, improvement or change request
Upload JaCoCo test report when collecting statistics
comp-contest-estimator
Issue is related to contest estimator
ctg-enhancement
New feature, improvement or change request
#1657
by viktoriia-fomina
was closed Jan 25, 2023
Loading...
2 of 7 tasks
Move Issue is related to contest estimator
comp-instrumented-process
Issue is related to Instrumented process
ctg-refactoring
Issue related to refactoring process
UtExecutionInstrumentation
to utbot-instrumentation
module
comp-contest-estimator
#1637
by sergeypospelov
was merged Jan 17, 2023
Loading...
5 tasks done
2023.3 Release
ProTip!
Filter pull requests by the default branch with base:main.
You can’t perform that action at this time.