Closed kimjg1119 closed 11 months ago
Implemented priority flag. 1 is highest.
Enable by -tycheck:priority={pr}, and all features labeled p1, p2, ... pr should be turned on.
-tycheck:priority={pr}
Implemented priority flag. 1 is highest.
Enable by
-tycheck:priority={pr}, and all features labeled p1, p2, ... pr should be turned on.