Removes TautologyVerifier from public interface.

solana-labs · Aug 21, 2023 · ca4fe7d · ca4fe7d
1 parent 550d015
commit ca4fe7d
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 15 deletions.
diff --git a/src/verifier.rs b/src/verifier.rs
@@ -382,17 +382,3 @@ impl Verifier for RequisiteVerifier {
         Ok(())
     }
 }
-
-/// Passes all inputs. Used to mark executables as unverified.
-#[derive(Debug)]
-pub struct TautologyVerifier {}
-impl Verifier for TautologyVerifier {
-    fn verify(
-        _prog: &[u8],
-        _config: &Config,
-        _sbpf_version: &SBPFVersion,
-        _function_registry: &FunctionRegistry<usize>,
-    ) -> std::result::Result<(), VerifierError> {
-        Ok(())
-    }
-}
diff --git a/tests/verifier.rs b/tests/verifier.rs
@@ -26,7 +26,7 @@ use solana_rbpf::{
     assembler::assemble,
     ebpf,
     elf::{Executable, FunctionRegistry, SBPFVersion},
-    verifier::{RequisiteVerifier, TautologyVerifier, Verifier, VerifierError},
+    verifier::{RequisiteVerifier, Verifier, VerifierError},
     vm::{BuiltinProgram, Config, TestContextObject},
 };
 use std::sync::Arc;
@@ -40,6 +40,18 @@ pub enum VerifierTestError {
     Rejected(String),
 }
 
+struct TautologyVerifier {}
+impl Verifier for TautologyVerifier {
+    fn verify(
+        _prog: &[u8],
+        _config: &Config,
+        _sbpf_version: &SBPFVersion,
+        _function_registry: &FunctionRegistry<usize>,
+    ) -> std::result::Result<(), VerifierError> {
+        Ok(())
+    }
+}
+
 struct ContradictionVerifier {}
 impl Verifier for ContradictionVerifier {
     fn verify(