Skip to content

Commit c067df3

Browse files
authored
add space requirement
1 parent d317810 commit c067df3

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

README.md

+2-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,8 @@ To generate the paper's results, run:
44
./run.sh run_all
55
```
66
The `setup_all` process takes around 40 mins and `run_all` takes
7-
around 30 mins depending on your machine.
7+
around 30 mins depending on your machine. 30GB of free disk space
8+
is expected.
89

910
All results will be generated in the `results/` directory. All
1011
compilation time results are in CSV files that start with

0 commit comments

Comments
 (0)