diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-03 14:56:33 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-03 14:56:33 +0200 |
commit | 350354cb01b8008588d66cae7b9b9c4cbf11fd01 (patch) | |
tree | 243828e2d8c6cd72fd25073c8f11349dcd7d7852 /debug | |
parent | 6fd3edf2c5ec5d4ddefabe7b9be223d08ead31ca (diff) | |
download | compcert-350354cb01b8008588d66cae7b9b9c4cbf11fd01.tar.gz compcert-350354cb01b8008588d66cae7b9b9c4cbf11fd01.zip |
Added a fast test for too large exponents too avoid never ending computations.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions