diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/check.py | 2 | ||||
| -rw-r--r-- | tests/specs/rto/README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/check.py b/tests/check.py index dd64e03..cab0347 100644 --- a/tests/check.py +++ b/tests/check.py @@ -1971,7 +1971,7 @@ def module_specs(aup, pure, work): source, events = (EXAMPLES / 'rto.aup').read_text(), 0 for scenario in json.loads((pure / 'tests/specs/rto/scenarios.json').read_text()): period = scenario['period'] - (work / 'rto.aup').write_text(source.replace('every 10 ms', f'every {period} ms').replace('fn PERIOD = 10 ', f'fn PERIOD = {period} ')) + (work / 'rto.aup').write_text(source.replace('every 10 ms', f'every {period} ms')) # G is tick.period program = work / 'rto.pmod' compile_module(aup, work / 'rto.aup', program) given = ''.join(f'time {t}\n' + ('tick tick\n' if kind == 'tick' else f"message {kind} {struct.pack('<I', seq).hex()}\n") diff --git a/tests/specs/rto/README.md b/tests/specs/rto/README.md index e090586..9cc82a2 100644 --- a/tests/specs/rto/README.md +++ b/tests/specs/rto/README.md @@ -3,5 +3,5 @@ `scenarios.json` holds one scenario (seed 2, 20 segments, five timeouts) of `research/experiments/044-specs/rto_check.py` at tick periods of 10 and 100 ms: the events an app is given (time in ms, kind, segment) and, after each, the state the model of the same rules (`rto.py`) has (SRTT, RTTVAR, RTO, deadline, segments outstanding, retransmissions). -`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick and G made the period's) on +`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick made the period's; G is `tick.period`) on Pure's three paths. |