Skip to content

Commit 748c66a

Browse files
committed
Initial implementation of iospec
1 parent 279ff54 commit 748c66a

159 files changed

Lines changed: 9403 additions & 5 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

Cargo.lock

Lines changed: 192 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,7 @@ task-maker-cache = { path = "./task-maker-cache" }
4444
task-maker-exec = { path = "./task-maker-exec" }
4545
task-maker-lang = { path = "./task-maker-lang" } # needed only by typescriptify
4646
task-maker-format = { path = "./task-maker-format" }
47+
task-maker-iospec = { path = "./task-maker-iospec" }
4748

4849
# Logging and setting up the global logger
4950
log = "0.4"

src/tools/main.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,8 @@ use task_maker_rust::tools::task_info::main_task_info;
1414
use task_maker_rust::tools::typescriptify::main_typescriptify;
1515
use task_maker_rust::tools::worker::main_worker;
1616

17+
use task_maker_iospec::tools::*;
18+
1719
fn main() {
1820
let base_opt = Opt::parse();
1921
base_opt.logger.enable_log();
@@ -30,6 +32,9 @@ fn main() {
3032
Tool::Booklet(opt) => main_booklet(opt, base_opt.logger),
3133
Tool::FuzzChecker(opt) => main_fuzz_checker(opt),
3234
Tool::AddSolutionChecks(opt) => main_add_solution_checks(opt, base_opt.logger),
35+
Tool::IospecCheck(opt) => iospec_check::do_main(opt, &mut std::io::stderr()),
36+
Tool::IospecGen(opt) => iospec_gen::do_main(opt, &mut std::io::stderr()),
37+
Tool::IospecGenAll(opt) => iospec_gen_all::do_main(opt, &mut std::io::stderr()),
3338
Tool::InternalSandbox => return task_maker_rust::main_sandbox(),
3439
}
3540
.nice_unwrap()

0 commit comments

Comments
 (0)