Closed victornicolet closed 6 months ago
This PR adds the deadcode tool to the tools to run in the lint target, and possibly in CI. I didn't remove all the deadcode yet because I think some functions might be useful. You can have a look at the deadcode in the parts of the analysis you own.
lint
This PR adds the deadcode tool to the tools to run in the
linttarget, and possibly in CI. I didn't remove all the deadcode yet because I think some functions might be useful. You can have a look at the deadcode in the parts of the analysis you own.