In presence of unknown models, the program could return 0 without output, which is unexpected. Return unknown as expected in that case.
Diff Detail
Diff Detail
Event Timeline
Comment Actions
Commited as 1cdde847bb01c4b1e490d8e902ac99096df75fd4, don't know why phabricator doesn't auto-close it.