From ae8348c4f12aea0f9aebace4c33cba0fa7830e3d Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Sat, 20 Mar 2021 15:34:33 +0100
Subject: [PATCH] Add failing test for cycle revalidation

---
 tests/cycles.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tests/cycles.rs b/tests/cycles.rs
index 7e697fed..49ba7461 100644
--- a/tests/cycles.rs
+++ b/tests/cycles.rs
@@ -122,6 +122,14 @@ fn inner_cycle() {
     );
 }
 
+#[test]
+fn cycle_revalidate() {
+    let mut db = DatabaseImpl::default();
+    assert!(db.cycle_a().is_err());
+    CycleLeafQuery.in_db_mut(&mut db).invalidate(&());
+    assert!(db.cycle_a().is_err());
+}
+
 #[test]
 fn parallel_cycle() {
     let _ = env_logger::try_init();