move-stackless-bytecode-0.1.1
- move-stackless-bytecode 0.1.1
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- dondidlc
- Dependencies
- codespan ^0.11.1 normal
  
  codespan-reporting ^0.11.1 normal
  
  ethnum ^1.0.4 normal
  
  im ^15.0.0 normal
  
  itertools ^0.10.0 normal
  
  log ^0.4.14 normal
  
  mv-binary-format ^0.1.0 normal
  
  mv-borrow-graph ^0.1.0 normal
  
  move-bytecode-verifier ^0.1.0 normal
  
  move-command-line-common ^0.1.0 normal
  
  mv-core-types ^0.1.0 normal
  
  move-ir-to-bytecode ^0.1.0 normal
  
  mv-model ^0.1.0 normal
  
  mv-read-write-set-types ^0.1.0 normal
  
  num ^0.4.0 normal
  
  once_cell ^1.7.2 normal
  
  paste ^1.0.5 normal
  
  petgraph ^0.5.1 normal
  
  serde ^1.0.124 normal
  
  anyhow ^1.0.52 dev
  
  datatest-stable ^0.1.1 dev
  
  move-prover-test-utils ^0.1.0 dev
- Versions
- 54.99% of the crate is documented
This release has been yanked, go to latest version
Platform
Feature flags

docs.rs

Rust

In move_stackless_bytecode::verification_analysis

Function move_stackless_bytecode::verification_analysis::is_invariant_checking_delegated

source · [−]

pub fn is_invariant_checking_delegated(fun_env: &FunctionEnv<'_>) -> bool