HomeIsabelle/Phabricator

check timeout_ignored as in ML, before applying timeout_scale;

Description

check timeout_ignored as in ML, before applying timeout_scale;

Details

Provenance
makariusAuthored on
Parents
rISABELLEc74e25de3c00: merged
Branches
Unknown
Tags
Unknown