Metadata-Version: 2.4
Name: schematic-supertest
Version: 0.1.1
Summary: Authoring primitives for Schematic Supertests
Author: Schematic
License-Expression: MIT OR Apache-2.0
Project-URL: Repository, https://github.com/schematic-tech/supertest-python
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3 :: Only
Requires-Python: >=3.11
Description-Content-Type: text/markdown
License-File: LICENSE-MIT
License-File: LICENSE-APACHE
Dynamic: license-file

# Supertest for Python

```sh
python -m pip install schematic-supertest
```

```python
from schematic import *

@supertest
def integer_division_is_bounded(value: int, divisor: int):
    assume(value >= 0 and divisor > 0)
    assert value // divisor <= value
```

See the [Getting Started Documentation](https://docs.schematic.tech/pup).

## License

This library is available under either MIT or Apache-2.0, at your option.
