diff options
Diffstat (limited to 'research/experiments/044-specs/rto_check.py')
| -rw-r--r-- | research/experiments/044-specs/rto_check.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/research/experiments/044-specs/rto_check.py b/research/experiments/044-specs/rto_check.py index be41ffb..1cc30bf 100644 --- a/research/experiments/044-specs/rto_check.py +++ b/research/experiments/044-specs/rto_check.py @@ -112,9 +112,9 @@ if __name__ == '__main__': with tempfile.TemporaryDirectory() as work: source = open(os.path.join(aup, 'examples', 'rto.aup')).read() for period in (10, 100): - module = os.path.join(work, f'rto-{period}.pmod') # its tick and its G the scenario's period + module = os.path.join(work, f'rto-{period}.pmod') # its tick the scenario's period with open(os.path.join(work, f'rto-{period}.aup'), 'w') as f: - f.write(source.replace('every 10 ms', f'every {period} ms').replace('fn PERIOD = 10 ', f'fn PERIOD = {period} ')) + f.write(source.replace('every 10 ms', f'every {period} ms')) # G, tick.period, follows subprocess.run([os.path.join(aup, 'build', 'aup'), 'build', os.path.join(work, f'rto-{period}.aup'), '-o', module], check=True) ticks = timeouts = 0 lateness = [] |