Closed dolfs closed 2 years ago
Changed PVS Error count from state class TOTAL_INCREASING to TOTAL, which is more appropriate as the count has been observed to go down at times and thus is not strictly increasing.
Changed PVS Error count from state class TOTAL_INCREASING to TOTAL, which is more appropriate as the count has been observed to go down at times and thus is not strictly increasing.