aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2017-12-01 22:42:19 +0100
committertomsmeding <tom.smeding@gmail.com>2017-12-01 22:42:19 +0100
commitc0078e855880df91896ed0953bb5c07441dbc72f (patch)
tree1ee24323826855de6836bd9ba6e3e610e16a4a60 /Makefile
parentbe8e209956b3f93b181eb730c743a6d72ddfbbb3 (diff)
STUFF
This was lying around and I didn't want to not back this up to the server. Was apparently in the middle of testing the lifetime analysis module. I believe the terminal output for many input programs indicates that the two lifetime analysis modules do not agree.....
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions