HomeIsabelle/Phabricator

Move tests for IEEEReal.scan from Test017 to Test198. Correct one of the tests…

Description

Move tests for IEEEReal.scan from Test017 to Test198. Correct one of the tests since trailing zeros are now removed.

Details

Provenance
dcjmAuthored on Jun 10 2023, 2:53 PM
Parents
rPOLYML4c4c57712caf: Add a regression test for real scan and fromString. Currently only contains a…
Branches
Unknown
Tags
Unknown