HomeIsabelle/Phabricator

Remove regression test. It doesn't work if int is arbitrary precision and it…

Description

Remove regression test. It doesn't work if int is arbitrary precision and it is very sensitive to small changes.

Details

Provenance
dcjmAuthored on Nov 20 2023, 9:35 AM
Parents
rPOLYML57af3ed878bd: Remove RTS function to convert a string to a real since it's now implemented in…
Branches
Unknown
Tags
Unknown