mirror of
https://github.com/pezkuwichain/revive-differential-tests.git
synced 2026-05-09 01:57:57 +00:00
@@ -6,15 +6,22 @@ use rayon::prelude::*;
|
||||
use revive_dt_config::*;
|
||||
use revive_dt_core::driver::compiler::build_evm;
|
||||
use revive_dt_format::corpus::Corpus;
|
||||
use temp_dir::TempDir;
|
||||
|
||||
fn main() -> anyhow::Result<()> {
|
||||
env_logger::init();
|
||||
|
||||
let config = Arguments::parse();
|
||||
let mut config = Arguments::parse();
|
||||
|
||||
if config.corpus.is_empty() {
|
||||
anyhow::bail!("no test corpus specified");
|
||||
}
|
||||
|
||||
let temporary_directory = TempDir::new()?;
|
||||
config
|
||||
.working_directory
|
||||
.get_or_insert_with(|| temporary_directory.path().into());
|
||||
|
||||
for path in config.corpus.iter().collect::<BTreeSet<_>>() {
|
||||
log::trace!("attempting corpus {path:?}");
|
||||
let corpus = Corpus::try_from_path(path)?;
|
||||
|
||||
Reference in New Issue
Block a user