diff options
author | odersky <odersky@gmail.com> | 2016-01-16 11:41:34 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2016-01-16 11:41:34 +0100 |
commit | 2503291afd5bb4bf56dfda74ac1446fb8b388521 (patch) | |
tree | 31f654cf5a2edee216c4cf79b17a63ede193f2ea /project | |
parent | da661c8a509efaa1c0ff926b0907c32cd37708a5 (diff) | |
parent | 87f60583f549a343290145ff07b0a99ae433862d (diff) | |
download | dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.tar.gz dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.tar.bz2 dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.zip |
Merge pull request #1029 from dotty-staging/fix/partest-output
partest: Print stack traces of swallowed exceptions
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions