Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.
Please remove from GIT all binaries and compile-time artifacts. This clutters the repository and makes configuration/compilation harder on other machines.
markaduol
commented
7 years ago
Please remove from GIT all binaries and compile-time artifacts. This clutters the repository and makes configuration/compilation harder on other machines.