Repository navigation

Update python unit test generation - #1763

Merged

tamarinvs19 merged 192 commits into

mainfrom

tamarinvs19/utbot-python-stable

Feb 10, 2023

Merged

Update python unit test generation#1763
tamarinvs19 merged 192 commits into
mainfrom
tamarinvs19/utbot-python-stable

Commits on Jan 30, 2023
- All current work on mypy annotations
  
  tochilinak
  authored and
  tamarinvs19
  committed
  1edc7d4
- Added some tests for AnnotationsFromMypy.kt
  
  tochilinak
  authored and
  tamarinvs19
  committed
  b10214b
- Python type hierarchy in TypeMetaData
  
  tochilinak
  authored and
  tamarinvs19
  committed
  1f4d498
- removed NamedType; removed some extra things in AnnotationsFromMypy.kt
  
  tochilinak
  authored and
  tamarinvs19
  committed
  771ed80
- Finished PythonTypeWrapperForComparison
  
  tochilinak
  authored and
  tamarinvs19
  committed
  a6acacb
- Added variance in TypeVars
  
  tochilinak
  authored and
  tamarinvs19
  committed
  594d910
- Implemented mro calculation
  
  tochilinak
  authored and
  tamarinvs19
  committed
  bf0594a
- Added PythonSubtypeChecker
  
  tochilinak
  authored and
  tamarinvs19
  committed
  48abd93
- Fixed simple case of infinite recursion
  
  tochilinak
  authored and
  tamarinvs19
  committed
  864285b
- Extracting info only about defined values in user files
  
  tochilinak
  authored and
  tamarinvs19
  committed
  485e74c
- Added substitution by index
  
  tochilinak
  authored and
  tamarinvs19
  committed
  040232b
- Added BuiltinTypes object
  
  tochilinak
  authored and
  tamarinvs19
  committed
  09f61c8
- added initialization of list, dict and set
  
  tochilinak
  authored and
  tamarinvs19
  committed
  21827f2
- Extracting some other builtin types
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c721291
- added extraction of argument names
  
  tochilinak
  authored and
  tamarinvs19
  committed
  59cfedf
- Removed StatefulType
  
  tochilinak
  authored and
  tamarinvs19
  committed
  8155f62
- Added simple constraint propagation; added createTypeWithNewAnnotationParameters
  
  tochilinak
  authored and
  tamarinvs19
  committed
  5ea9e3c
- added PythonTypeStorage
  
  tochilinak
  authored and
  tamarinvs19
  committed
  4cb0d1d
- Changed TODO's in PythonType.kt
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c8b101e
- Fix in reading PythonTypeStorage
  
  tochilinak
  authored and
  tamarinvs19
  committed
  d33d5b2
- Extract isAbstract for concrete types from mypy
  
  tochilinak
  authored and
  tamarinvs19
  committed
  26ddd03
- Removed some redundant files
  
  tochilinak
  authored and
  tamarinvs19
  committed
  1d86c57
- Added numberOfArguments in CallableTypeDescription
  
  tochilinak
  authored and
  tamarinvs19
  committed
  cda6acc
- Added pythonTypeRepresentation
  
  tochilinak
  authored and
  tamarinvs19
  committed
  f7028db
- New mypy run
  
  tochilinak
  authored and
  tamarinvs19
  committed
  98b7c61
- Changed PythonMethod; generation of mypy check code
  
  tochilinak
  authored and
  tamarinvs19
  committed
  f53a290
- Added new mypy type checking
  
  tochilinak
  authored and
  tamarinvs19
  committed
  51485c1
- Added extraction of expression types
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c40d085
- New version of mypy runner
  
  tochilinak
  authored and
  tamarinvs19
  committed
  643b1fc
- Added 'file to module' map
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c14d6c3
- One more case in subtype checker
  
  tochilinak
  authored and
  tamarinvs19
  committed
  ec9610e
- Added file to module map
  
  tochilinak
  authored and
  tamarinvs19
  committed
  4991a7b
- Changed PythonMethod; generation of mypy check code
  
  tochilinak
  authored and
  tamarinvs19
  committed
  1398ada
- Added Python 3.10 parser
  
  tochilinak
  authored and
  tamarinvs19
  committed
  0540546
- started working on type inference api
  
  tochilinak
  authored and
  tamarinvs19
  committed
  650db83
- Added ForStatement processing in HintCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  e8327e6
- Added processing of bool expressions in HintCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  eca77f2
- Added logic for identification nodes in HintCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  4c54399
- Work on HintCollector: constant types, AdditiveExpression, List and new edges
  
  tochilinak
  authored and
  tamarinvs19
  committed
  86d37e3
- Build initialState in BaselineAlgorithm
  
  tochilinak
  authored and
  tamarinvs19
  committed
  24407d5
- First version of BaselineAlgorithm
  
  tochilinak
  authored and
  tamarinvs19
  committed
  fc5422e
- Added processing of some new nodes in HintCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  dd0c8c9
- New logic of BaselineAlgorithm
  
  tochilinak
  authored and
  tamarinvs19
  committed
  2181c17
- Fixed some things in generating type rating
  
  tochilinak
  authored and
  tamarinvs19
  committed
  bb177c8
- Added CLI for type inference
  
  tochilinak
  authored and
  tamarinvs19
  committed
  2791fc5
- Fixed bug with dependency check in type inference CLI
  
  tochilinak
  authored and
  tamarinvs19
  committed
  987744c
- Regenerated python parser; fixed bug with offsets
  
  tochilinak
  authored and
  tamarinvs19
  committed
  0564a14
- Refactored BaselineAlgorithm; some changed in logic
  
  tochilinak
  authored and
  tamarinvs19
  committed
  92379a0
- TypeInferenceProcessor; fixed some bugs
  
  tochilinak
  authored and
  tamarinvs19
  committed
  90465f7
- Faster version of StateExpansion
  
  tochilinak
  authored and
  tamarinvs19
  committed
  57af5b3
- Fix; added document for testing
  
  tochilinak
  authored and
  tamarinvs19
  committed
  d3128be
- A lot of small fixes
  
  tochilinak
  authored and
  tamarinvs19
  committed
  46e0a99
- Support of slices; fixes
  
  tochilinak
  authored and
  tamarinvs19
  committed
  958a4fc
- Added constantCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  7563557
- Added extraction of kinds of names in module from mypy
  
  tochilinak
  authored and
  tamarinvs19
  committed
  9f73397
- Restructure in newtyping package
  
  tochilinak
  authored and
  tamarinvs19
  committed
  edad3da
- Fixed bug that failed assertion
  
  tochilinak
  authored and
  tamarinvs19
  committed
  f1bf989
- Changed format of names extraction
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c108b9d
- Added resolveTypeName function
  
  tochilinak
  authored and
  tamarinvs19
  committed
  88b20d1
- One more case in resolveTypeName function
  
  tochilinak
  authored and
  tamarinvs19
  committed
  11f5d4e
- Added hints from isinstance calls; added penalty in createTypeRating
  
  tochilinak
  authored and
  tamarinvs19
  committed
  385e756
- Changes in mypy configuration
  
  tochilinak
  authored and
  tamarinvs19
  committed
  1be8dac
- Fixed parsing of slices
  
  tochilinak
  authored and
  tamarinvs19
  committed
  281d90e
- Add BigInteger to BitVectorValue
  tamarinvs19
  committed
  27033aa
- Add string representation to Name in Type.kt
  tamarinvs19
  committed
  9262aaa
- Add rendering for PythonTree
  tamarinvs19
  committed
  901d1d9
- Update PythonTree model
  tamarinvs19
  committed
  dd50f62
- Modify python engine logic for new fuzzer
  tamarinvs19
  committed
  0db8371
- Add PythonApi for new fuzzing
  tamarinvs19
  committed
  b5dd01b
- Add samples for new fuzzer
  tamarinvs19
  committed
  1764a66
- Add python fuzzing for dicts
  tamarinvs19
  committed
  7022afa
- Add python fuzzing for sets
  tamarinvs19
  committed
  9a26cad
- Refactor python fuzzing structure: split to providers
  tamarinvs19
  committed
  b15b155
- Add Any example
  tamarinvs19
  committed
  fdc8e67
- Add reduce value provider
  tamarinvs19
  committed
  103a7b6
- Try to fix reduce code generation
  tamarinvs19
  committed
  11708b5
- Add reduce object rendering
  tamarinvs19
  committed
  9fdadfc
- Fix PythonApi.kt
  tamarinvs19
  committed
  6c85233
- Fix ReduceValueProvider.kt
  tamarinvs19
  committed
  ffeee13
- Update ReduceNode rendering and fix format
  tamarinvs19
  committed
  d862877
- Add protocol supporting
  tamarinvs19
  committed
  93d9c20
- Update fuzzing
  tamarinvs19
  committed
  f4df986
- Update codegen
  tamarinvs19
  committed
  ba7c4c7
- Try to add complex and refactoring
  tamarinvs19
  committed
  69541b7
- Update codegen
  tamarinvs19
  committed
  3783816
- Add isCancelled to fuzzing
  tamarinvs19
  committed
  8151788
- Fix python coverage database bug with access to database directory (#1553)
  tamarinvs19
  committed
  ca98d40
- Fix string invalid format
  tamarinvs19
  committed
  d062259
- Remove coroutine cancellation
  tamarinvs19
  committed
  2bf4ca3
- Update complex value provider
  tamarinvs19
  committed
  4cc4949
- Add Bytes and Bytearrays, update Reduce and Int providers
  tamarinvs19
  committed
  1a059db
- Add ConstantValueProvider
  tamarinvs19
  committed
  14ad9e4
- Refactor fuzzing, add summary
  tamarinvs19
  committed
  e273707
- Update covered lines handler
  tamarinvs19
  committed
  32ff73c
- Update constant value provider
  tamarinvs19
  committed
  fb69b8e
- Update python test name generation
  tamarinvs19
  committed
  6539ac7
- Update type representation in value providers and add pythonTypeName method
  tamarinvs19
  committed
  5fd2e1b
- Update type representation in value providers
  tamarinvs19
  committed
  4ad9565
- Update ReduceValueProvider, fix Overload problem
  tamarinvs19
  committed
  9558201
- Skip tests with invalid evaluation
  tamarinvs19
  committed
  b4db820
- Support class methods
  tamarinvs19
  committed
  404473a
- Fixed codegeneration problem with python reduce objects
  tamarinvs19
  committed
  3624565
- Add self classId to PythonTreeModel
  tamarinvs19
  committed
  7fb219c
- Update logger
  tamarinvs19
  committed
  06a9eca
- Change log message about exception
  tamarinvs19
  committed
  65e1335
- Fix commit 28f291c (Support class methods)
  tamarinvs19
  committed
  755bee8
- Add type inference
  tamarinvs19
  committed
  1a92e63
- Change pythonObject repr
  tamarinvs19
  committed
  2729410
- Add filter for reduce value provider
  tamarinvs19
  committed
  ff5a707
- Add base annotation as the first annotations
  tamarinvs19
  committed
  e1e233a
- Comment providers for Any type
  tamarinvs19
  committed
  f5466fc
- Update fuzzing structure, add constants to fuzzing
  tamarinvs19
  committed
  561d4ec
- Add constants
  tamarinvs19
  committed
  8d7fd25
- Add int, float, str and bool to filter in reduce value provider
  tamarinvs19
  committed
  c071164
- Remove double pythonBuildObject function
  tamarinvs19
  committed
  f6fa819
- Fix gradle.properties
  tamarinvs19
  committed
  0edf4ce
- Remove println
  tamarinvs19
  committed
  b1a973e
- Update complex repr
  tamarinvs19
  committed
  0060a2c
- Add int constants for float provider
  tamarinvs19
  committed
  646bfc5
- Update PythonTestCaseGenerator structure
  tamarinvs19
  committed
  13c65da
- Remove python3parser
  tamarinvs19
  committed
  361f9e0
- Fixed mypy code generation
  
  tochilinak
  authored and
  tamarinvs19
  committed
  0ff5346
- Add feedback to type inference algorithm
  tamarinvs19
  committed
  0ea070f
- Fixed bug with tuple in slice; one more case in SubtypeChecker
  
  tochilinak
  authored and
  tamarinvs19
  committed
  7efb8eb
- Change runBlocking
  tamarinvs19
  committed
  5a69eb5
- Fix method toBigInteger
  tamarinvs19
  committed
  16ad5c1
- Refactor stubfiles and PreprocessedValue
  tamarinvs19
  committed
  d10b67e
- Update additionalModules to fuzzing
  tamarinvs19
  committed
  b799b0b
- Fixed TypeInferenceProcessor
  
  tochilinak
  authored and
  tamarinvs19
  committed
  7cc643d
- Split PythonMethod into PythonMethodDescription and PythonMethod
  
  tochilinak
  authored and
  tamarinvs19
  committed
  345c20f
- removed penalty in initial type rating; fixed bug in Type.pythonModules()
  
  tochilinak
  authored and
  tamarinvs19
  committed
  72a017e
- Fixed bug in HintCollector
  
  tochilinak
  authored and
  tamarinvs19
  committed
  c788543
- Suppressed considering type feedback in type inference
  
  tochilinak
  authored and
  tamarinvs19
  committed
  8f9453e
- Fix bug with recursive objects
  tamarinvs19
  committed
  360d6e3
- Some more cases in type inference
  
  tochilinak
  authored and
  tamarinvs19
  committed
  cc17287
- Update fuzzing of string
  tamarinvs19
  committed
  94b59e8
- Update python cg render
  tamarinvs19
  committed
  8dec916
- Remove constants from FloatValueProvider
  tamarinvs19
  committed
  5e77eb1
- Comment InvalidTypeFeedback
  tamarinvs19
  committed
  2ebee0a
- Remove null value from pythonTypeStorage
  tamarinvs19
  committed
  cb1c357
- Add StringUtils
  tamarinvs19
  committed
  33a1dd9
- Added extraction of tuples as constants; some fixes
  
  tochilinak
  authored and
  tamarinvs19
  committed
  066b06b
- Fixed bug
  
  tochilinak
  authored and
  tamarinvs19
  committed
  e9b8c42
- Added classes in type inference CLI
  
  tochilinak
  authored and
  tamarinvs19
  committed
  28e1d35
- Update try and import rendering
  tamarinvs19
  committed
  ba390e4
- Add alias for python imports
  tamarinvs19
  committed
  749c869
- Remove unused import
  tamarinvs19
  committed
  8146d35
- Update python imports
  tamarinvs19
  committed
  2fe96fc
- Add try for arguments initialization
  tamarinvs19
  committed
  40260a9
- Add declareOrGet
  tamarinvs19
  committed
  7c53eb6
- Update requirements
  tamarinvs19
  committed
  a3c0e5d
- Add exit() when arguments are invalid
  tamarinvs19
  committed
  d4c6cb9
- Clear memoryObjects before test method generation
  tamarinvs19
  committed
  addf8c7
- Fixed extraction of nested classes
  
  tochilinak
  authored and
  tamarinvs19
  committed
  469fc4a
- Add new memory dump parser
  tamarinvs19
  committed
  1a23032
- Add nee python object deserializer
  tamarinvs19
  committed
  3752f86
- Remove klaxon
  tamarinvs19
  committed
  b03d0c8
- New structure of Python types
  
  tochilinak
  authored and
  tamarinvs19
  committed
  e9fe1f8
- New version of utbot_mypy_runner
  
  tochilinak
  authored and
  tamarinvs19
  committed
  cf9da60
- Sped up annotation extraction
  
  tochilinak
  authored and
  tamarinvs19
  committed
  cc0a920
- Fix import bug after merge
  tamarinvs19
  committed
  93d8db2
- Fix problem with None return value
  tamarinvs19
  committed
  3490c33
- Fix bugs with float representation, sys.exit() and self asserts
  tamarinvs19
  committed
  89584bf
- Move documentation lines inside function body
  tamarinvs19
  committed
  7f74e9a
- Change PythonMethodHeader construction
  tamarinvs19
  committed
  43fa286
- Fix readAction error
  tamarinvs19
  committed
  efa57de
Commits on Jan 31, 2023
- Change getPythonAttributes to getPythonAttributeByName and fix accept method for ReduceValueProvider
  tamarinvs19
  committed
  be88376
- Update comparison strategy for PythonTree
  tamarinvs19
  committed
  6a2446d
- Remove addition of object provider
  tamarinvs19
  committed
  d74ecf8
- Update test generation and fuzzing connection
  tamarinvs19
  committed
  c6615b2
- Add simple asserts generation for thisObject and function arguments
  tamarinvs19
  committed
  f2be923
- Update requirements.txt
  tamarinvs19
  committed
  79230c1
- Remove open
  tamarinvs19
  committed
  af3a5eb
- Fix unnecessary modifications
  tamarinvs19
  committed
  7e9e0cd
- Fix `comparable` in deserialization algorithm
  tamarinvs19
  committed
  c4317b9
Commits on Feb 1, 2023
- Remove empty line when it is unnecessary
  tamarinvs19
  committed
  47d3ace
- Refactor PythonEngine and PythonEvaluation
  tamarinvs19
  committed
  b2f15ff
- Merge branch 'main' into tamarinvs19/utbot-python-stable
  tamarinvs19
  authored
  83c0955
- Remove TemporaryFileManager.setup()
  tamarinvs19
  committed
  d14aca8
- Remove getPythonCodeFromPyFile
  tamarinvs19
  committed
  2d804a4
Commits on Feb 2, 2023
- Refactor python code execution
  tamarinvs19
  committed
  66ca2ca
Commits on Feb 6, 2023
Commits on Feb 7, 2023
- Fix windows path problem: transform to UNC for mypy code
  tamarinvs19
  committed
  e9d29c0
- Merge branch 'main' into tamarinvs19/utbot-python-stable
  tamarinvs19
  authored
  37fb3bc
Commits on Feb 8, 2023
- Fix BitVectorValue to BigInteger conversion
  Markoutte
  committed
  e80c9ee
- Add Trie to PythonFeedback
  tamarinvs19
  committed
  6acc19a
- Update examples
  tamarinvs19
  committed
  c22b508
Commits on Feb 10, 2023
- Fixed type inference for sample type_inference.py
  tochilinak
  committed
  0949041
- Some optimizations in mypy runner
  tochilinak
  committed
  af32c55
- Remove unnecessary code from build.gradle
  tamarinvs19
  committed
  6a50e85

Commits

Commits on Jan 30, 2023