Update python unit test generation#1763

Merged

tamarinvs19 merged 192 commits intomainfrom

tamarinvs19/utbot-python-stable

Feb 10, 2023

Commits on Jan 30, 2023

All current work on mypy annotations

tochilinak
authored and
tamarinvs19
committed
Added some tests for AnnotationsFromMypy.kt

tochilinak
authored and
tamarinvs19
committed
Python type hierarchy in TypeMetaData

tochilinak
authored and
tamarinvs19
committed
removed NamedType; removed some extra things in AnnotationsFromMypy.kt

tochilinak
authored and
tamarinvs19
committed
Finished PythonTypeWrapperForComparison

tochilinak
authored and
tamarinvs19
committed
Added variance in TypeVars

tochilinak
authored and
tamarinvs19
committed
Implemented mro calculation

tochilinak
authored and
tamarinvs19
committed
Added PythonSubtypeChecker

tochilinak
authored and
tamarinvs19
committed
Fixed simple case of infinite recursion

tochilinak
authored and
tamarinvs19
committed
Extracting info only about defined values in user files

tochilinak
authored and
tamarinvs19
committed
Added substitution by index

tochilinak
authored and
tamarinvs19
committed
Added BuiltinTypes object

tochilinak
authored and
tamarinvs19
committed
added initialization of list, dict and set

tochilinak
authored and
tamarinvs19
committed
Extracting some other builtin types

tochilinak
authored and
tamarinvs19
committed
added extraction of argument names

tochilinak
authored and
tamarinvs19
committed
Removed StatefulType

tochilinak
authored and
tamarinvs19
committed
Added simple constraint propagation; added createTypeWithNewAnnotationParameters

tochilinak
authored and
tamarinvs19
committed
added PythonTypeStorage

tochilinak
authored and
tamarinvs19
committed
Changed TODO's in PythonType.kt

tochilinak
authored and
tamarinvs19
committed
Fix in reading PythonTypeStorage

tochilinak
authored and
tamarinvs19
committed
Extract isAbstract for concrete types from mypy

tochilinak
authored and
tamarinvs19
committed
Removed some redundant files

tochilinak
authored and
tamarinvs19
committed
Added numberOfArguments in CallableTypeDescription

tochilinak
authored and
tamarinvs19
committed
Added pythonTypeRepresentation

tochilinak
authored and
tamarinvs19
committed
New mypy run

tochilinak
authored and
tamarinvs19
committed
Changed PythonMethod; generation of mypy check code

tochilinak
authored and
tamarinvs19
committed
Added new mypy type checking

tochilinak
authored and
tamarinvs19
committed
Added extraction of expression types

tochilinak
authored and
tamarinvs19
committed
New version of mypy runner

tochilinak
authored and
tamarinvs19
committed
Added 'file to module' map

tochilinak
authored and
tamarinvs19
committed
One more case in subtype checker

tochilinak
authored and
tamarinvs19
committed
Added file to module map

tochilinak
authored and
tamarinvs19
committed
Changed PythonMethod; generation of mypy check code

tochilinak
authored and
tamarinvs19
committed
Added Python 3.10 parser

tochilinak
authored and
tamarinvs19
committed
started working on type inference api

tochilinak
authored and
tamarinvs19
committed
Added ForStatement processing in HintCollector

tochilinak
authored and
tamarinvs19
committed
Added processing of bool expressions in HintCollector

tochilinak
authored and
tamarinvs19
committed
Added logic for identification nodes in HintCollector

tochilinak
authored and
tamarinvs19
committed
Work on HintCollector: constant types, AdditiveExpression, List and new edges

tochilinak
authored and
tamarinvs19
committed
Build initialState in BaselineAlgorithm

tochilinak
authored and
tamarinvs19
committed
First version of BaselineAlgorithm

tochilinak
authored and
tamarinvs19
committed
Added processing of some new nodes in HintCollector

tochilinak
authored and
tamarinvs19
committed
New logic of BaselineAlgorithm

tochilinak
authored and
tamarinvs19
committed
Fixed some things in generating type rating

tochilinak
authored and
tamarinvs19
committed
Added CLI for type inference

tochilinak
authored and
tamarinvs19
committed
Fixed bug with dependency check in type inference CLI

tochilinak
authored and
tamarinvs19
committed
Regenerated python parser; fixed bug with offsets

tochilinak
authored and
tamarinvs19
committed
Refactored BaselineAlgorithm; some changed in logic

tochilinak
authored and
tamarinvs19
committed
TypeInferenceProcessor; fixed some bugs

tochilinak
authored and
tamarinvs19
committed
Faster version of StateExpansion

tochilinak
authored and
tamarinvs19
committed
Fix; added document for testing

tochilinak
authored and
tamarinvs19
committed
A lot of small fixes

tochilinak
authored and
tamarinvs19
committed
Support of slices; fixes

tochilinak
authored and
tamarinvs19
committed
Added constantCollector

tochilinak
authored and
tamarinvs19
committed
Added extraction of kinds of names in module from mypy

tochilinak
authored and
tamarinvs19
committed
Restructure in newtyping package

tochilinak
authored and
tamarinvs19
committed
Fixed bug that failed assertion

tochilinak
authored and
tamarinvs19
committed
Changed format of names extraction

tochilinak
authored and
tamarinvs19
committed
Added resolveTypeName function

tochilinak
authored and
tamarinvs19
committed
One more case in resolveTypeName function

tochilinak
authored and
tamarinvs19
committed
Added hints from isinstance calls; added penalty in createTypeRating

tochilinak
authored and
tamarinvs19
committed
Changes in mypy configuration

tochilinak
authored and
tamarinvs19
committed
Fixed parsing of slices

tochilinak
authored and
tamarinvs19
committed
Add BigInteger to BitVectorValue
tamarinvs19
committed
Add string representation to Name in Type.kt
tamarinvs19
committed
Add rendering for PythonTree
tamarinvs19
committed
Update PythonTree model
tamarinvs19
committed
Modify python engine logic for new fuzzer
tamarinvs19
committed
Add PythonApi for new fuzzing
tamarinvs19
committed
Add samples for new fuzzer
tamarinvs19
committed
Add python fuzzing for dicts
tamarinvs19
committed
Add python fuzzing for sets
tamarinvs19
committed
Refactor python fuzzing structure: split to providers
tamarinvs19
committed
Add Any example
tamarinvs19
committed
Add reduce value provider
tamarinvs19
committed
Try to fix reduce code generation
tamarinvs19
committed
Add reduce object rendering
tamarinvs19
committed
Fix PythonApi.kt
tamarinvs19
committed
Fix ReduceValueProvider.kt
tamarinvs19
committed
Update ReduceNode rendering and fix format
tamarinvs19
committed
Add protocol supporting
tamarinvs19
committed
Update fuzzing
tamarinvs19
committed
Update codegen
tamarinvs19
committed
Try to add complex and refactoring
tamarinvs19
committed
Update codegen
tamarinvs19
committed
Add isCancelled to fuzzing
tamarinvs19
committed
Fix python coverage database bug with access to database directory (#1553)
tamarinvs19
committed
Fix string invalid format
tamarinvs19
committed
Remove coroutine cancellation
tamarinvs19
committed
Update complex value provider
tamarinvs19
committed
Add Bytes and Bytearrays, update Reduce and Int providers
tamarinvs19
committed
Add ConstantValueProvider
tamarinvs19
committed
Refactor fuzzing, add summary
tamarinvs19
committed
Update covered lines handler
tamarinvs19
committed
Update constant value provider
tamarinvs19
committed
Update python test name generation
tamarinvs19
committed
Update type representation in value providers and add pythonTypeName method
tamarinvs19
committed
Update type representation in value providers
tamarinvs19
committed
Update ReduceValueProvider, fix Overload problem
tamarinvs19
committed
Skip tests with invalid evaluation
tamarinvs19
committed
Support class methods
tamarinvs19
committed
Fixed codegeneration problem with python reduce objects
tamarinvs19
committed
Add self classId to PythonTreeModel
tamarinvs19
committed
Update logger
tamarinvs19
committed
Change log message about exception
tamarinvs19
committed
Fix commit 28f291c (Support class methods)
tamarinvs19
committed
Add type inference
tamarinvs19
committed
Change pythonObject repr
tamarinvs19
committed
Add filter for reduce value provider
tamarinvs19
committed
Add base annotation as the first annotations
tamarinvs19
committed
Comment providers for Any type
tamarinvs19
committed
Update fuzzing structure, add constants to fuzzing
tamarinvs19
committed
Add constants
tamarinvs19
committed
Add int, float, str and bool to filter in reduce value provider
tamarinvs19
committed
Remove double pythonBuildObject function
tamarinvs19
committed
Fix gradle.properties
tamarinvs19
committed
Remove println
tamarinvs19
committed
Update complex repr
tamarinvs19
committed
Add int constants for float provider
tamarinvs19
committed
Update PythonTestCaseGenerator structure
tamarinvs19
committed
Remove python3parser
tamarinvs19
committed
Fixed mypy code generation

tochilinak
authored and
tamarinvs19
committed
Add feedback to type inference algorithm
tamarinvs19
committed
Fixed bug with tuple in slice; one more case in SubtypeChecker

tochilinak
authored and
tamarinvs19
committed
Change runBlocking
tamarinvs19
committed
Fix method toBigInteger
tamarinvs19
committed
Refactor stubfiles and PreprocessedValue
tamarinvs19
committed
Update additionalModules to fuzzing
tamarinvs19
committed
Fixed TypeInferenceProcessor

tochilinak
authored and
tamarinvs19
committed
Split PythonMethod into PythonMethodDescription and PythonMethod

tochilinak
authored and
tamarinvs19
committed
removed penalty in initial type rating; fixed bug in Type.pythonModules()

tochilinak
authored and
tamarinvs19
committed
Fixed bug in HintCollector

tochilinak
authored and
tamarinvs19
committed
Suppressed considering type feedback in type inference

tochilinak
authored and
tamarinvs19
committed
Fix bug with recursive objects
tamarinvs19
committed
Some more cases in type inference

tochilinak
authored and
tamarinvs19
committed
Update fuzzing of string
tamarinvs19
committed
Update python cg render
tamarinvs19
committed
Remove constants from FloatValueProvider
tamarinvs19
committed
Comment InvalidTypeFeedback
tamarinvs19
committed
Remove null value from pythonTypeStorage
tamarinvs19
committed
Add StringUtils
tamarinvs19
committed
Added extraction of tuples as constants; some fixes

tochilinak
authored and
tamarinvs19
committed
Fixed bug

tochilinak
authored and
tamarinvs19
committed
Added classes in type inference CLI

tochilinak
authored and
tamarinvs19
committed
Update try and import rendering
tamarinvs19
committed
Add alias for python imports
tamarinvs19
committed
Remove unused import
tamarinvs19
committed
Update python imports
tamarinvs19
committed
Add try for arguments initialization
tamarinvs19
committed
Add declareOrGet
tamarinvs19
committed
Update requirements
tamarinvs19
committed
Add exit() when arguments are invalid
tamarinvs19
committed
Clear memoryObjects before test method generation
tamarinvs19
committed
Fixed extraction of nested classes

tochilinak
authored and
tamarinvs19
committed
Add new memory dump parser
tamarinvs19
committed
Add nee python object deserializer
tamarinvs19
committed
Remove klaxon
tamarinvs19
committed
New structure of Python types

tochilinak
authored and
tamarinvs19
committed
New version of utbot_mypy_runner

tochilinak
authored and
tamarinvs19
committed
Sped up annotation extraction

tochilinak
authored and
tamarinvs19
committed
Fix import bug after merge
tamarinvs19
committed
Fix problem with None return value
tamarinvs19
committed
Fix bugs with float representation, sys.exit() and self asserts
tamarinvs19
committed
Move documentation lines inside function body
tamarinvs19
committed
Change PythonMethodHeader construction
tamarinvs19
committed
Fix readAction error
tamarinvs19
committed