Skip to content

Add loop-contract symbols into symbol table during typecheck

Codecov / codecov/patch failed Jun 27, 2024 in 0s

49.05% of diff hit (target 78.28%)

View this Pull Request on Codecov

49.05% of diff hit (target 78.28%)

Annotations

Check warning on line 46 in src/linking/remove_internal_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/linking/remove_internal_symbols.cpp#L46 

Added line #L46 was not covered by tests

Check warning on line 44 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L44 

Added line #L44 was not covered by tests

Check warning on line 61 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L61 

Added line #L61 was not covered by tests

Check warning on line 76 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L76 

Added line #L76 was not covered by tests

Check warning on line 86 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L86 

Added line #L86 was not covered by tests

Check warning on line 96 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L96 

Added line #L96 was not covered by tests

Check warning on line 128 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L126-L128 

Added lines #L126 - L128 were not covered by tests

Check warning on line 137 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L137 

Added line #L137 was not covered by tests

Check warning on line 141 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L140-L141 

Added lines #L140 - L141 were not covered by tests

Check warning on line 151 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L151 

Added line #L151 was not covered by tests

Check warning on line 157 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L156-L157 

Added lines #L156 - L157 were not covered by tests

Check warning on line 252 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L251-L252 

Added lines #L251 - L252 were not covered by tests

Check warning on line 262 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L262 

Added line #L262 was not covered by tests

Check warning on line 266 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L266 

Added line #L266 was not covered by tests

Check warning on line 293 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L286-L293 

Added lines #L286 - L293 were not covered by tests

Check warning on line 304 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L298-L304 

Added lines #L298 - L304 were not covered by tests

Check warning on line 311 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L311 

Added line #L311 was not covered by tests

Check warning on line 313 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L313 

Added line #L313 was not covered by tests

Check warning on line 316 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L316 

Added line #L316 was not covered by tests

Check warning on line 320 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L320 

Added line #L320 was not covered by tests

Check warning on line 323 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L323 

Added line #L323 was not covered by tests

Check warning on line 325 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L325 

Added line #L325 was not covered by tests

Check warning on line 328 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L328 

Added line #L328 was not covered by tests

Check warning on line 335 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L333-L335 

Added lines #L333 - L335 were not covered by tests

Check warning on line 338 in src/util/find_symbols.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/find_symbols.cpp#L338 

Added line #L338 was not covered by tests
View more details on Codecov