Initial implementation of iospec

olimpiadi-informatica · May 17, 2022 · 2353277 · 2353277
1 parent 279ff54
commit 2353277
Show file tree

Hide file tree

Showing 159 changed files with 9,453 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -44,6 +44,7 @@ task-maker-cache = { path = "./task-maker-cache" }
 task-maker-exec = { path = "./task-maker-exec" }
 task-maker-lang = { path = "./task-maker-lang" } # needed only by typescriptify
 task-maker-format = { path = "./task-maker-format" }
+task-maker-iospec = { path = "./task-maker-iospec" }
 
 # Logging and setting up the global logger
 log = "0.4"

diff --git a/src/tools/main.rs b/src/tools/main.rs
@@ -14,6 +14,8 @@ use task_maker_rust::tools::task_info::main_task_info;
 use task_maker_rust::tools::typescriptify::main_typescriptify;
 use task_maker_rust::tools::worker::main_worker;
 
+use task_maker_iospec::tools::*;
+
 fn main() {
     let base_opt = Opt::parse();
     base_opt.logger.enable_log();
@@ -30,6 +32,9 @@ fn main() {
         Tool::Booklet(opt) => main_booklet(opt, base_opt.logger),
         Tool::FuzzChecker(opt) => main_fuzz_checker(opt),
         Tool::AddSolutionChecks(opt) => main_add_solution_checks(opt, base_opt.logger),
+        Tool::IospecCheck(opt) => iospec_check::do_main(opt, &mut std::io::stderr()),
+        Tool::IospecGen(opt) => iospec_gen::do_main(opt, &mut std::io::stderr()),
+        Tool::IospecGenAll(opt) => iospec_gen_all::do_main(opt, &mut std::io::stderr()),
         Tool::InternalSandbox => return task_maker_rust::main_sandbox(),
     }
     .nice_unwrap()