diff options
| author | Kathy Gray | 2014-08-11 21:42:19 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-11 21:42:19 +0100 |
| commit | 6329f0886cc12b731901f37cf4d36a2d01d64466 (patch) | |
| tree | 7efa2dbd1cecdac52b4e706749c2f59a354ba947 /src/test | |
| parent | 75d5f16b6293e0beba1ea07d38fab71f5ce0db67 (diff) | |
More taint tracking.
Catch interp_inter_imp up with interp.
WARNING: This commit triggers an exponential performance bug in Lem. To alleviate this bug, I am running with a locally modified Lem that has line 1321 of lem/src/typed_ast.ml commented out
(On my laptop, I gave up trying to compile after about 900 seconds; beefier computers May be able to run unmodified, I don't know)
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions