The smt_test_plugin was added in August 2017, last updated Oct 9, 2018. Source
I wouldn't be holding your breath, or hyping up an SMT release anytime soon...
You are viewing a single comment's thread from:
Sort: Trending
The smt_test_plugin was added in August 2017, last updated Oct 9, 2018. Source
I wouldn't be holding your breath, or hyping up an SMT release anytime soon...