consensus-logic: change invalid comparison for tsn for proof verifica…

…tion and formatting
alpenlabs · Dec 18, 2024 · 95b5fac · 95b5fac
1 parent 29d6fca
commit 95b5fac
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/crates/btcio/Cargo.toml b/crates/btcio/Cargo.toml
@@ -37,8 +37,8 @@ strata-rocksdb = { workspace = true, features = ["test_utils"] }
 strata-test-utils.workspace = true
 
 arbitrary.workspace = true
-mockall.workspace = true
 corepc-node = { version = "0.4.0", features = ["28_0"] }
+mockall.workspace = true
 
 [features]
 test_utils = []
diff --git a/crates/consensus-logic/src/csm/client_transition.rs b/crates/consensus-logic/src/csm/client_transition.rs
@@ -431,11 +431,11 @@ pub fn filter_verified_checkpoints(
             let l1_tsn = checkpoint.batch_info().l1_transition;
             let l2_tsn = checkpoint.batch_info().l2_transition;
 
-            if l1_tsn.0 == last_l1_tsn.1 {
+            if l1_tsn.0 != last_l1_tsn.1 {
                 warn!(obtained = ?l1_tsn.0, expected = ?last_l1_tsn.1, "Received invalid checkpoint l1 transition, ignoring.");
                 continue;
             }
-            if l2_tsn.0 == last_l2_tsn.1 {
+            if l2_tsn.0 != last_l2_tsn.1 {
                 warn!(obtained = ?l2_tsn.0, expected = ?last_l2_tsn.1, "Received invalid checkpoint l2 transition, ignoring.");
                 continue;
             }

diff --git a/functional-tests/fn_resubmit_checkpoint.py → ...nal-tests/fn_btcio_resubmit_checkpoint.py b/functional-tests/fn_resubmit_checkpoint.py → ...nal-tests/fn_btcio_resubmit_checkpoint.py