pezkuwichain/revive-differential-tests
1
0
Fork 0
mirror of https://github.com/pezkuwichain/revive-differential-tests.git synced 2026-07-25 00:05:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Implement the platform driver

Browse Source
This commit is contained in:
Omar Abdulla
2025-09-29 21:10:37 +03:00
parent ca7d8e2ba4
commit c3c7203af8
3 changed files with 913 additions and 175 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/core/src/differential_tests/driver.rs
+910 -170
View File
File diff suppressed because it is too large Load Diff
crates/core/src/differential_tests/execution_state.rs
+2 -1
View File
@@ -7,6 +7,7 @@ use alloy::{
use revive_dt_format::metadata::{ContractIdent, ContractInstance}; use revive_dt_format::metadata::{ContractIdent, ContractInstance};
#[derive(Clone)]
/// The state associated with the test execution of one of the tests. /// The state associated with the test execution of one of the tests.
pub struct ExecutionState { pub struct ExecutionState {
/// The compiled contracts, these contracts have been compiled and have had the libraries linked /// The compiled contracts, these contracts have been compiled and have had the libraries linked
@@ -17,7 +18,7 @@ pub struct ExecutionState {
pub deployed_contracts: HashMap<ContractInstance, (ContractIdent, Address, JsonAbi)>, pub deployed_contracts: HashMap<ContractInstance, (ContractIdent, Address, JsonAbi)>,
/// This map stores the variables used for each one of the cases contained in the metadata file. /// This map stores the variables used for each one of the cases contained in the metadata file.
variables: HashMap<String, U256>, pub variables: HashMap<String, U256>,
} }
impl ExecutionState { impl ExecutionState {
crates/format/src/case.rs
+1 -4
View File
@@ -3,10 +3,7 @@ use serde::{Deserialize, Serialize};
use revive_dt_common::{macros::define_wrapper_type, types::Mode}; use revive_dt_common::{macros::define_wrapper_type, types::Mode};
use crate::{ use crate::{mode::ParsedMode, steps::*};
mode::ParsedMode,
steps::{Expected, RepeatStep, Step},
};
#[derive(Debug, Default, Serialize, Deserialize, Clone, Eq, PartialEq, JsonSchema)] #[derive(Debug, Default, Serialize, Deserialize, Clone, Eq, PartialEq, JsonSchema)]
pub struct Case { pub struct Case {