test: Update error ID allocation

Neptune-Crypto · Dec 19, 2024 · f97275e · f97275e
1 parent ecfbefe
commit f97275e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/assertion_error_ids.md b/src/assertion_error_ids.md
@@ -18,6 +18,6 @@ often.
 |     0..10 | [`RemovalRecordsIntegrity`](models/blockchain/transaction/validity/removal_records_integrity.rs)                         |
 |    10..20 | [`AuditVmEndState`](models/proof_abstractions/tasm/audit_vm_end_state.rs)                                                |
 |    20..30 | [`merge::AuthenticateCoinbaseFields`](models/blockchain/transaction/validity/tasm/merge/authenticate_coinbase_fields.rs) |
-|    30..40 | [`NativeCurrency`](models/blockchain/type_scripts/native_currency.rs)                                                    |
-|   40..100 | [`SingleProof`](models/blockchain/transaction/validity/single_proof.rs)                                                  |
+|    30..50 | [`NativeCurrency`](models/blockchain/type_scripts/native_currency.rs)                                                    |
+|   50..100 | [`SingleProof`](models/blockchain/transaction/validity/single_proof.rs)                                                  |
 |  100..120 | [`Update`](models/blockchain/transaction/validity/update.rs)                                                             |
diff --git a/src/models/blockchain/transaction/validity/single_proof.rs b/src/models/blockchain/transaction/validity/single_proof.rs
@@ -5,13 +5,13 @@ use itertools::Itertools;
 use tasm_lib::field;
 use tasm_lib::memory::encode_to_memory;
 use tasm_lib::memory::FIRST_NON_DETERMINISTICALLY_INITIALIZED_MEMORY_ADDRESS;
+use tasm_lib::prelude::Digest;
 use tasm_lib::prelude::Library;
 use tasm_lib::prelude::TasmObject;
 use tasm_lib::structure::verify_nd_si_integrity::VerifyNdSiIntegrity;
 use tasm_lib::triton_vm::prelude::*;
 use tasm_lib::twenty_first::error::BFieldCodecError;
 use tasm_lib::verifier::stark_verify::StarkVerify;
-use tasm_lib::prelude::Digest;
 use tracing::info;
 
 use crate::models::blockchain::transaction::validity::tasm::single_proof::merge_branch::MergeBranch;
@@ -40,8 +40,8 @@ pub(crate) const DISCRIMINANT_FOR_PROOF_COLLECTION: u64 = 0;
 pub(crate) const DISCRIMINANT_FOR_UPDATE: u64 = 1;
 pub(crate) const DISCRIMINANT_FOR_MERGE: u64 = 2;
 
-const INVALID_WITNESS_DISCRIMINANT_ERROR: i128 = 1_000_040;
-const NO_BRANCH_TAKEN_ERROR: i128 = 1_000_041;
+const INVALID_WITNESS_DISCRIMINANT_ERROR: i128 = 1_000_050;
+const NO_BRANCH_TAKEN_ERROR: i128 = 1_000_051;
 
 #[derive(Debug, Clone, BFieldCodec)]
 pub(crate) enum SingleProofWitness {