Closed snowblink14 closed 7 years ago
A bit refactoring and cleanup for easier debugging and better code quality. This change does not affect the functionality of smatch.
A bit refactoring and cleanup for easier debugging and better code quality. This change does not affect the functionality of smatch.