aver-lang-0.7.1
- aver-lang 0.7.1
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jasisz
- Dependencies
- aver-rt =0.3.2 normal
  clap ^4 normal
  colored ^2 normal
  serde ^1 normal
  serde_json ^1 normal
  thiserror ^1 normal
  toml ^0.8 normal
  url ^2 normal
  criterion ^0.5 dev
  tempfile ^3 dev
- Versions
- 23.49% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

proof_mode_issues

aver0.7.1

In aver::codegen::lean

aver::codegen::lean

Function proof_mode_issues

pub fn proof_mode_issues(ctx: &CodegenContext) -> Vec<String>