synth-verify-0.66.0
- synth-verify 0.66.0
- Permalink
- Docs.rs crate page
- Apache-2.0
- 10 September 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- avrabe
- Dependencies
- anyhow ^1.0 normal
  chrono ^0.4 normal
  ordeal =0.19.0 normal
  proptest ^1.11 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  synth-cfg ^0.66.0 normal
  synth-core ^0.66.0 normal
  synth-opt ^0.66.0 normal
  synth-synthesis ^0.66.0 normal optional
  thiserror ^2.0 normal
  z3 ^0.21 normal optional
  criterion ^0.8 dev
- Versions
- 91.49% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

trap_always

synth_verify0.66.0

In synth_verify::trap

synth_verify::trap

Function trap_always

pub fn trap_always() -> Bool

Expand description

Trap condition for unreachable: an unconditional trap.