aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/044-specs/rto_check.py
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-10-19 07:34:12 +0100
committereunhhu <[email protected]>2026-10-19 07:34:12 +0100
commitf1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413 (patch)
tree156f662c904e7c723db11fcc7a3bee59a8d2d1f8 /research/experiments/044-specs/rto_check.py
parentfc13b251f6d244df31d5b4100dc421e3f3fe685a (diff)
downloadpure-f1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413.tar.gz
pure-f1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413.zip
140: aup's frictions written away and the apps measured again (no core change, no new opcode): lists declared together, targets together (straight when no value can read what a target changes), a list given a list value whole, abs, tick.period, hex where numbers go; lines to Python 1.47-2.04x (were 1.47-2.15x): UAX #14 176 to 169, layout 116 to 110, HTTP 148 to 146 and its last workaround gone; instructions of the four whose modules changed within 0.2%, inflate's and UAX #14's modules the same; the six specs' checks pass on the three paths, module_specs nine; RTO's checks no longer rewrite G (tick.period); the suite table's rows 5, 8 and 9
Diffstat (limited to 'research/experiments/044-specs/rto_check.py')
-rw-r--r--research/experiments/044-specs/rto_check.py4
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 = []