diff --git a/Makefile b/Makefile index 3656d25..dc4f7cc 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,4 @@ -# IMAGE_NAME=dalmahal90/grift-benchmarks:pldi -IMAGE_NAME=benchmarks +IMAGE_NAME=dalmahal90/grift-benchmarks:pldi19 CONTAINER_NAME=benchmarks_container HOST_EXPERIMENT_DIR=/home/$(USER)/experiments CONTAINER_EXPERIMENT_DIR=/app/experiments