HomeIsabelle/Phabricator

Move the test code to avoid a merge conflict.

Description

Move the test code to avoid a merge conflict.

Details

Provenance
dcjmAuthored on Nov 8 2023, 9:00 PM
Parents
rPOLYMLe6a7062064b6: Fix test to use "verify" consistently rather than "check".
Branches
Unknown
Tags
Unknown