Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Untested line in DNSSECImpl.sol:531 #149

Open
Arachnid opened this issue Apr 16, 2021 · 1 comment
Open

Untested line in DNSSECImpl.sol:531 #149

Arachnid opened this issue Apr 16, 2021 · 1 comment

Comments

@Arachnid
Copy link
Member

Mutation:
    File: DNSSECImpl.sol
    Line nr: 531
    Result: Lived
    Original line:
                 if (dnskey.flags & DNSKEY_FLAG_ZONEKEY == 0) {

    Mutated line:
                 if (dnskey.flags | DNSKEY_FLAG_ZONEKEY == 0) {
@makoto
Copy link
Member

makoto commented Apr 30, 2021

@Arachnid DNSKEY_FLAG_ZONEKEY is always set to 0x100 so this line never reach.

@makoto makoto added bug and removed bug labels Apr 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants