github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 06:08:02 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix Linter Warnings (#103)

Browse Source
This commit is contained in:
Alex Ozdemir
2022-09-12 16:04:23 +02:00
committed by GitHub
parent 4686854248
commit 15eadb6110
8 changed files with 52 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
examples/circ.rs
View File

@@ -116,7 +116,7 @@ enum Backend {
}
arg_enum! {
#[derive(PartialEq, Debug)]
#[derive(PartialEq, Eq, Debug)]
enum Language {
Zsharp,
Datalog,
@@ -125,21 +125,21 @@ arg_enum! {
}
}
#[derive(PartialEq, Debug)]
#[derive(PartialEq, Eq, Debug)]
pub enum DeterminedLanguage {
Zsharp,
Datalog,
C,
}
#[derive(PartialEq, Debug)]
#[derive(PartialEq, Eq, Debug)]
pub enum CostModelType {
Opa,
Hycc,
}
arg_enum! {
#[derive(PartialEq, Debug)]
#[derive(PartialEq, Eq, Debug)]
enum ProofAction {
Count,
Setup,