GitHub repository: viperproject/prusti-interface
Primary language: Rust
Created: 2018-01-18T10:55:32Z
Description: Common interface for `prusti-viper` and `prusti` crates