Remove uses of `dynamic_cast` from qualifierst hierarchy
74.28% of diff hit (target 78.02%)
View this Pull Request on Codecov
74.28% of diff hit (target 78.02%)
Annotations
Check warning on line 54 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L54
Added line #L54 was not covered by tests
Check warning on line 57 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L57
Added line #L57 was not covered by tests
Check warning on line 60 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L60
Added line #L60 was not covered by tests
Check warning on line 64 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L64
Added line #L64 was not covered by tests
Check warning on line 66 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L66
Added line #L66 was not covered by tests
Check warning on line 69 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L69
Added line #L69 was not covered by tests
Check warning on line 73 in jbmc/src/java_bytecode/java_qualifiers.cpp
codecov / codecov/patch
jbmc/src/java_bytecode/java_qualifiers.cpp#L73
Added line #L73 was not covered by tests
Check warning on line 117 in src/ansi-c/c_qualifiers.h
codecov / codecov/patch
src/ansi-c/c_qualifiers.h#L116-L117
Added lines #L116 - L117 were not covered by tests