HomeIsabelle/Phabricator

Begin adding testForInput and testForOutput as RTS calls that combine a test…

Description

Begin adding testForInput and testForOutput as RTS calls that combine a test with a short block.

Details

Provenance
dcjmAuthored on Jan 31 2019, 2:55 PM
Parents
rPOLYML8f9fa713f9ec: Need to load a register for the ML stack on X86/64 if there are more than 5…
Branches
Unknown
Tags
Unknown