mirror of
https://github.com/pezkuwichain/revive-differential-tests.git
synced 2026-04-22 21:57:58 +00:00
Compare commits
3 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 9598bdbe35 | |||
| 1b9eff1205 | |||
| c0ca716163 |
+113
-7
@@ -152,9 +152,102 @@ where
|
|||||||
)
|
)
|
||||||
.collect::<Vec<_>>();
|
.collect::<Vec<_>>();
|
||||||
|
|
||||||
|
let metadata_case_status = Arc::new(RwLock::new(test_cases.iter().fold(
|
||||||
|
HashMap::<_, HashMap<_, _>>::new(),
|
||||||
|
|mut map, (path, _, case_idx, case, solc_mode)| {
|
||||||
|
map.entry((path.to_path_buf(), solc_mode.clone()))
|
||||||
|
.or_default()
|
||||||
|
.insert((CaseIdx::new(*case_idx), case.name.clone()), None::<bool>);
|
||||||
|
map
|
||||||
|
},
|
||||||
|
)));
|
||||||
|
let status_reporter_task = {
|
||||||
|
let metadata_case_status = metadata_case_status.clone();
|
||||||
|
async move {
|
||||||
|
const GREEN: &str = "\x1B[32m";
|
||||||
|
const RED: &str = "\x1B[31m";
|
||||||
|
const RESET: &str = "\x1B[0m";
|
||||||
|
|
||||||
|
let mut entries_to_delete = Vec::new();
|
||||||
|
loop {
|
||||||
|
let metadata_case_status_read = metadata_case_status.read().await;
|
||||||
|
if metadata_case_status_read.is_empty() {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
for ((metadata_file_path, solc_mode), case_status) in
|
||||||
|
metadata_case_status_read.iter()
|
||||||
|
{
|
||||||
|
if case_status.values().any(|value| value.is_none()) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
let contains_failures = case_status
|
||||||
|
.values()
|
||||||
|
.any(|value| value.is_some_and(|value| !value));
|
||||||
|
|
||||||
|
if !contains_failures {
|
||||||
|
eprintln!(
|
||||||
|
"{}Succeeded:{} {} - {:?}",
|
||||||
|
GREEN,
|
||||||
|
RESET,
|
||||||
|
metadata_file_path.display(),
|
||||||
|
solc_mode
|
||||||
|
)
|
||||||
|
} else {
|
||||||
|
eprintln!(
|
||||||
|
"{}Failed:{} {} - {:?}",
|
||||||
|
RED,
|
||||||
|
RESET,
|
||||||
|
metadata_file_path.display(),
|
||||||
|
solc_mode
|
||||||
|
)
|
||||||
|
};
|
||||||
|
|
||||||
|
let mut case_status = case_status
|
||||||
|
.iter()
|
||||||
|
.map(|((case_idx, case_name), case_status)| {
|
||||||
|
(case_idx.into_inner(), case_name, case_status.unwrap())
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
case_status.sort_by(|a, b| a.0.cmp(&b.0));
|
||||||
|
for (_, case_name, case_status) in case_status.into_iter() {
|
||||||
|
if case_status {
|
||||||
|
eprintln!(
|
||||||
|
"{GREEN} Case Succeeded:{RESET} {}",
|
||||||
|
case_name
|
||||||
|
.as_ref()
|
||||||
|
.map(|string| string.as_str())
|
||||||
|
.unwrap_or("Unnamed case")
|
||||||
|
)
|
||||||
|
} else {
|
||||||
|
eprintln!(
|
||||||
|
"{RED} Case Failed:{RESET} {}",
|
||||||
|
case_name
|
||||||
|
.as_ref()
|
||||||
|
.map(|string| string.as_str())
|
||||||
|
.unwrap_or("Unnamed case")
|
||||||
|
)
|
||||||
|
};
|
||||||
|
}
|
||||||
|
eprintln!();
|
||||||
|
|
||||||
|
entries_to_delete.push((metadata_file_path.clone(), solc_mode.clone()));
|
||||||
|
}
|
||||||
|
|
||||||
|
drop(metadata_case_status_read);
|
||||||
|
let mut metadata_case_status_write = metadata_case_status.write().await;
|
||||||
|
for entry in entries_to_delete.drain(..) {
|
||||||
|
metadata_case_status_write.remove(&entry);
|
||||||
|
}
|
||||||
|
|
||||||
|
tokio::time::sleep(std::time::Duration::from_secs(3)).await;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
let compilation_cache = Arc::new(RwLock::new(HashMap::new()));
|
let compilation_cache = Arc::new(RwLock::new(HashMap::new()));
|
||||||
futures::stream::iter(test_cases)
|
let driver_task = futures::stream::iter(test_cases).for_each_concurrent(
|
||||||
.for_each_concurrent(
|
|
||||||
None,
|
None,
|
||||||
|(metadata_file_path, metadata, case_idx, case, solc_mode)| {
|
|(metadata_file_path, metadata, case_idx, case, solc_mode)| {
|
||||||
let compilation_cache = compilation_cache.clone();
|
let compilation_cache = compilation_cache.clone();
|
||||||
@@ -167,13 +260,14 @@ where
|
|||||||
case_idx = case_idx,
|
case_idx = case_idx,
|
||||||
solc_mode = ?solc_mode,
|
solc_mode = ?solc_mode,
|
||||||
);
|
);
|
||||||
|
let metadata_case_status = metadata_case_status.clone();
|
||||||
async move {
|
async move {
|
||||||
let result = handle_case_driver::<L, F>(
|
let result = handle_case_driver::<L, F>(
|
||||||
metadata_file_path.as_path(),
|
metadata_file_path.as_path(),
|
||||||
metadata,
|
metadata,
|
||||||
case_idx.into(),
|
case_idx.into(),
|
||||||
case,
|
case,
|
||||||
solc_mode,
|
solc_mode.clone(),
|
||||||
args,
|
args,
|
||||||
compilation_cache.clone(),
|
compilation_cache.clone(),
|
||||||
leader_node,
|
leader_node,
|
||||||
@@ -181,18 +275,30 @@ where
|
|||||||
span,
|
span,
|
||||||
)
|
)
|
||||||
.await;
|
.await;
|
||||||
|
let mut metadata_case_status = metadata_case_status.write().await;
|
||||||
match result {
|
match result {
|
||||||
Ok(inputs_executed) => {
|
Ok(inputs_executed) => {
|
||||||
tracing::info!(inputs_executed, "Execution succeeded")
|
tracing::info!(inputs_executed, "Execution succeeded");
|
||||||
|
metadata_case_status
|
||||||
|
.entry((metadata_file_path.clone(), solc_mode))
|
||||||
|
.or_default()
|
||||||
|
.insert((CaseIdx::new(case_idx), case.name.clone()), Some(true));
|
||||||
|
}
|
||||||
|
Err(error) => {
|
||||||
|
metadata_case_status
|
||||||
|
.entry((metadata_file_path.clone(), solc_mode))
|
||||||
|
.or_default()
|
||||||
|
.insert((CaseIdx::new(case_idx), case.name.clone()), Some(false));
|
||||||
|
tracing::info!(%error, "Execution failed")
|
||||||
}
|
}
|
||||||
Err(error) => tracing::info!(%error, "Execution failed"),
|
|
||||||
}
|
}
|
||||||
tracing::info!("Execution completed");
|
tracing::info!("Execution completed");
|
||||||
}
|
}
|
||||||
.instrument(tracing_span)
|
.instrument(tracing_span)
|
||||||
},
|
},
|
||||||
)
|
);
|
||||||
.await;
|
|
||||||
|
tokio::join!(status_reporter_task, driver_task);
|
||||||
|
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user