cargo / snappea
snappea 0.1.0
RisknoneVulnsnone- processes
- 391
- operations
- 9.3K
- packages
- 32
- compiler runs
- 68
- connections
- 1
- build time
- 1m 22s
- job time
- 1m 22s
- capture
- 126 KB
- records
- 17K
- bytes / record
- 7.4
The P modeling language in Rust: emit events from your application and check them against P specs in tests, plus the `snappea` checker
Artifact
- libsnappea.rlibfile · retained · product
- snappeabinary · retained · product
- snappea-compatbinary · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 9.3K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies32 | Build behaviour |
|---|---|
| block-buffer0.10.4 | |
| cfg-if1.0.5 | |
| cpufeatures0.2.17 | |
| crypto-common0.1.7 | |
| digest0.10.7 | |
| generic-array0.14.7 | |
| itoa1.0.18 | |
| ld-linux-x86-64.so.2 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| memchr2.8.3 | |
| regex1.13.1 | |
| regex-automata0.4.18 | |
| regex-syntax0.8.11 | |
| roxmltree0.21.1 | |
| rustc-hash2.1.3 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_json1.0.154 | |
| sha20.10.9 | |
| typenum1.20.1 | |
| zmij1.0.23 | |
| aho-corasick1.1.5 | |
| libc0.2.191 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| serde_derive1.0.229 | |
| syn3.0.9 | |
| unicode-ident1.0.27 | |
| version_check0.9.5 |
1 of 1 jobs captured: build-test success · Generated 2026-10-21 · run d497698f-54b7-4370-b63b-129a81a5d00b
analysis 0.1.0 · 2026-10-21 · bee3716 · graph v2