This repository was archived by the owner on Jul 8, 2024. It is now read-only.
This repository was archived by the owner on Jul 8, 2024. It is now read-only.
SMV-AV: Smv local (no cloud) crashes when any of procedures times out #27
@rahulku Unlike the cloud version, the local version terminates when any of the procedures timeout.
For repro:
%sdxroot%\drivers\tablet\platform\math\Input\common\re6_stand\ptls\ls\src>%SDV%\smv /null:local /debug