Use type checking to detect invalid mutants #347
Otto-AAAnnotations
29 errors
|
Test Python 3.10
Process completed with exit code 2.
|
|
Test Python 3.12
Process completed with exit code 1.
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L144
`None` is not assignable to `str`
|
|
Pyrefly bad-argument-type:
src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
|
|
Pyrefly unsupported-operation:
src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']`
Cannot find `__sub__` or `__rsub__`
|
|
Test Python 3.11
Process completed with exit code 1.
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L144
`None` is not assignable to `str`
|
|
Pyrefly bad-argument-type:
src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
|
|
Pyrefly unsupported-operation:
src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']`
Cannot find `__sub__` or `__rsub__`
|
|
Test Python 3.13
Process completed with exit code 1.
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L144
`None` is not assignable to `str`
|
|
Pyrefly bad-argument-type:
src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
|
|
Pyrefly unsupported-operation:
src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']`
Cannot find `__sub__` or `__rsub__`
|
|
Test Python 3.14
Process completed with exit code 1.
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L144
`None` is not assignable to `str`
|
|
Pyrefly bad-argument-type:
src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
|
|
Pyrefly missing-attribute:
src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
|
|
Pyrefly bad-assignment:
src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
|
|
Pyrefly unsupported-operation:
src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']`
Cannot find `__sub__` or `__rsub__`
|