z3-sys-0.4.0
- z3-sys 0.4.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- Dependencies
- Versions
- 95.31% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

In z3_sys

Function z3_sys::Z3_tactic_fail

pub unsafe extern "C" fn Z3_tactic_fail(c: Z3_context) -> Z3_tactic

Expand description

Return a tactic that always fails.