bump cache version

we were getting spurious failures for the core proof tests from old data
viperproject · Jan 12, 2023 · 6072933 · 6072933
1 parent eb01178
commit 6072933
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/viper/src/cache.rs b/viper/src/cache.rs
@@ -27,7 +27,7 @@ pub struct PersistentCache {
     data: HashMap<u64, VerificationResult>,
 }
 
-const RESULT_CACHE_VERSION: u64 = 2;
+const RESULT_CACHE_VERSION: u64 = 3;
 
 #[derive(Debug, serde::Serialize, serde::Deserialize)]
 struct ResultCache {