diff --git a/eval.py b/eval.py index 925dea2164da39bc31b748d6385878414564dc56..cce64d2bc19c3b2f4615dd1b700cd2a2eab0e040 100755 --- a/eval.py +++ b/eval.py @@ -64,7 +64,8 @@ EMPER_VARIANTS: dict[VariantName, VariantDef] = { } -def build_emper_targets(stealing_modes: list[str], max_fibers: Optional[int]): +def build_emper_targets(stealing_modes: list[str], + max_fibers: T.Optional[int]): """Build emper target definition from the available variants and stealing modes""" for variant, _desc in EMPER_VARIANTS.items(): desc = dict(_desc) @@ -442,7 +443,7 @@ if __name__ == '__main__': datetime.datetime.now().strftime("%Y-%m-%dT%H_%M_%S")) os.makedirs(RESULT_DIR) - build_emper_targets(_args.emper_stealing_modes, args.max_fibers) + build_emper_targets(_args.emper_stealing_modes, _args.max_fibers) TARGETS = filter_targets(_args.implementations, _args.exclude_implementations)