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 check() changes in tests

Browse Source
This commit is contained in:
Alex Ozdemir
2021-02-13 01:04:49 -08:00
parent cb8874ac95
commit 28c4623b87
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/ir/opt/mem/obliv.rs
View File

@@ -237,7 +237,7 @@ mod test {
fn array_free(t: &Term) -> bool {
for c in PostOrderIter::new(t.clone()) {
if let Sort::Array(..) = check(c).unwrap() {
if let Sort::Array(..) = check(&c) {
return false;
}
}

6
src/ir/term/mod.rs
View File

@@ -1039,11 +1039,11 @@ mod test {
#[test]
fn vars() {
let v = leaf_term(Op::Var("a".to_owned(), Sort::Bool));
assert_eq!(check(&v), Ok(Sort::Bool));
assert_eq!(check(&v), Sort::Bool);
let v = leaf_term(Op::Var("b".to_owned(), Sort::BitVector(4)));
assert_eq!(check(&v), Ok(Sort::BitVector(4)));
assert_eq!(check(&v), Sort::BitVector(4));
let v = t();
assert_eq!(check(&v), Ok(Sort::Bool));
assert_eq!(check(&v), Sort::Bool);
}
#[test]