ruex-0.1.5
- ruex 0.1.5
- Permalink
- Docs.rs crate page
- MPL-2.0
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- dudochkin-victor
- Dependencies
- atty ^0.2 normal
  color-backtrace ^0.5 normal
  colored ^2.0 normal
  fern ^0.6 normal
  futures ^0.3 normal
  humantime ^2.1 normal
  log ^0.4 normal
  once_cell ^1.7 normal
  ruex-macro ^0 normal
  rust-companion ^0 normal
  serde ^1.0 normal
  syslog ^6 normal
  url ^2.2 normal
  urlencoding ^2.1 normal
  rust-companion ^0 build
- Versions
- 100% of the crate is documented
Platform
Feature flags

Rust

In ruex::prelude

Attribute Macro ruex::prelude::test_invariant

#[test_invariant]

Expand description

Test invariant for contracts.