Skip to content

Avoid string contents comparison, perform cheap operation first in ||#129

Merged
kroening merged 1 commit intodiffblue:masterfrom
tautschnig:taint-analyzer
Jun 20, 2016

Commits