-
Notifications
You must be signed in to change notification settings - Fork 3
PLDI16 AEC submission
Download the VM image here: https://www.dropbox.com/sh/lwe47njhcwy5f5w/AAA0ZrQvBbz5yTb_UR-19qBwa?dl=0
You can find the (conditionally) accepted version of the paper here: https://www.dropbox.com/s/u83ciu6p53gcbia/main.pdf?dl=0
First, open a terminal and cd ~/refscript.
stack exec -- rsc /path/to/file.ts
This will run our tool on the given TypeScript file; for well-formed inputs the output should end in either *** SAFE *** or *** UNSAFE ***.
stack test refscript
For each of the 571 regression tests, this should output a line looking like 'obj-07.ts: OK (0.65s)'. It should take ~8 minutes.
In section 5 of the paper we report the running times of our benchmark suite. You can run those tests as follows:
cd tests/pos/pldi16
python regrtest.py
For each of the 26 files in the benchmark suite, this should output a line looking like 'SUCCESS! d3/entries.ts 1.608330 seconds'. It should take ~10-15 minutes; the vast majority of that time it will appear to be doing nothing as it handles our most time-consuming test, 'navier-stokes-typed-octane.ts'.