pysnappea 0.1.0__py3-none-win_amd64.whl

pysnappea-0.1.0.dist-info/METADATA

@@ -0,0 +1,51 @@
+Metadata-Version: 2.4
+Name: pysnappea
+Version: 0.1.0
+Classifier: Framework :: Pytest
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Rust
+Classifier: Topic :: Software Development :: Testing
+Requires-Dist: tomli>=1.1 ; python_full_version < '3.11'
+Summary: Check P specs against events from your Python tests
+License: MIT OR Apache-2.0
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
+Project-URL: Documentation, https://github.com/crowecawcaw/snappea/blob/main/docs/python.md
+Project-URL: Repository, https://github.com/crowecawcaw/snappea
+
+# Snap Pea for Python
+
+Check [P](https://p-org.github.io/P/) specs against events your code emits during its
+ordinary tests. The package brings the `snappea` binary, so `pip install pysnappea` is the whole
+setup.
+
+```python
+from snappea import emit
+
+def grant(self, client, lock):
+    ...
+    emit("eEnter", key=lock, client=client)
+```
+
+```toml
+# pyproject.toml
+[tool.snappea]
+spec_files = ["specs/*.p"]
+```
+
+Every pytest test now also checks every spec in `specs/`. Or check selected tests
+explicitly:
+
+```python
+from snappea import check_spec
+
+def test_lease_expiry():
+    with check_spec("MutualExclusion"):
+        ...
+```
+
+In production, `snappea.set_sink("/var/log/app/events.jsonl")` sends the same events to a
+log that `snappea observe` checks. See
+[docs/python.md](https://github.com/crowecawcaw/snappea/blob/main/docs/python.md) and
+[Testing and production](https://github.com/crowecawcaw/snappea/blob/main/docs/production.md).
+

pysnappea-0.1.0.dist-info/RECORD

@@ -0,0 +1,15 @@
+pysnappea-0.1.0.data/scripts/snappea-compat.exe,sha256=QNUjj7Gi0Jg9DK_TzoX8uy2so-NDlCwpK1b7bGnmGsA,3241984
+pysnappea-0.1.0.data/scripts/snappea.exe,sha256=oYhzOH99xMxM_Y-WIASZZVbhg6TFAO_-sRx9lLLY3H4,3267584
+pysnappea-0.1.0.dist-info/METADATA,sha256=htD2rA-i5n6a0dG3qvUh-QNGcK1BK9yzQf46OK_LUu0,1595
+pysnappea-0.1.0.dist-info/WHEEL,sha256=8Aej0W0a6Cz6apA3IzJrTnxLRVLAt-w0Oh8SA3Con_c,94
+pysnappea-0.1.0.dist-info/entry_points.txt,sha256=cAKwQ7LavieLAKjdZDDqxjGeJ9qUh62-yrO4qOTP8nE,41
+pysnappea-0.1.0.dist-info/sboms/snappea.cyclonedx.json,sha256=l9gt6S90z5w37W5et8kt7TxGBCn8qQHyU0btFKGuqfA,20149
+snappea/__init__.py,sha256=8nljipA0wEAnE2IAK1tSGDhewyspBVQ3_3LvR8o6LWA,7293
+snappea/_binary.py,sha256=InxMVN38Nrb3dWBvEic3hfUYG0_Z4rtQLTNYDUG8S20,2269
+snappea/_config.py,sha256=Odv9mhICEcQZZTr23pC1BtZcP1OcB2EnDlUzPnng2Jg,6910
+snappea/_emit.py,sha256=XwpM-tV7otgPAzY6UcpBLDCrDtZNW4-uQJU4cgut8h8,14275
+snappea/_errors.py,sha256=1zICx1Absl1bNHpMJlvKuGnDq42pdBGg6uXfNodmxfs,2779
+snappea/_recorder.py,sha256=xMxHTu8wuua1waRPgJBhx1Xmrh2B-3yegj7tGxJs-gM,32828
+snappea/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+snappea/pytest_plugin.py,sha256=ySrEn4vYLdnvjWtkIHHfBN7Jve445V8TF1HVLVV9Kv0,11516
+pysnappea-0.1.0.dist-info/RECORD,,

pysnappea-0.1.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: maturin (1.15.0)
+Root-Is-Purelib: false
+Tag: py3-none-win_amd64

pysnappea-0.1.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[pytest11]
+snappea=snappea.pytest_plugin