enable type invariants for test

viperproject · May 27, 2022 · 1ba60f7 · 1ba60f7
1 parent 9c5a971
commit 1ba60f7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prusti-tests/tests/verify_overflow/pass/nfm22/bst_generics_paper.rs b/prusti-tests/tests/verify_overflow/pass/nfm22/bst_generics_paper.rs
@@ -1,3 +1,4 @@
+// compile-flags: -Penable_type_invariants=true
 use prusti_contracts::*;
 use std::cmp::{Ord, Ordering::{self, Equal, Less, Greater}};