changeset 14:eae814cb4b34

Add fullsimple
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 04 Nov 2016 14:21:20 +0900
parents 17b9b80fa047
children 65d29d8b3f48
files Dockerfile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Dockerfile	Fri Nov 04 05:11:16 2016 +0000
+++ b/Dockerfile	Fri Nov 04 14:21:20 2016 +0900
@@ -10,6 +10,7 @@
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool.tar.gz
+RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/fullsimple.tar.gz
 RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
 RUN rm -rf *.tar.gz