diff --git a/wta/bench.py b/wta/bench.py index 71dd87c22078a0aa769c2a3cec84bf5cc1a5c8f4..b07ce67cde076704380fa1c85d4c2e56249e54eb 100755 --- a/wta/bench.py +++ b/wta/bench.py @@ -171,6 +171,8 @@ def print_row(d, header, stddev): def run(args): check_zerotrans(args) + if args.out_degree: + args.edge_spec = ("transitions", str(int(args.out_degree)*int(args.states))) results = [run_one(args, i) for i in range(0, samples)] @@ -277,6 +279,7 @@ def main(): run_parser.add_argument('--symbols', required=True) run_parser.add_argument('--zero-frequency') run_parser.add_argument('--transitions') + run_parser.add_argument('--out-degree') run_parser.add_argument('--different-values') run_parser.add_argument( '--stddev', action='store_true', help="report stddev for timings")