6069a70760
* [TVMC] convert timeout flag to int fixes Check failed: type_code_ == kDLInt (11 vs. 0) : expected int but got str when setting the timeout option using the cli flag. * [TVMC] fix typo in tvmc tune help