Skip to content

:sparkles: Add the apply function for uninterpreted functions

Codecov / codecov/patch failed Jan 6, 2024 in 0s

0.00% of diff hit (target 52.60%)

View this Pull Request on Codecov

0.00% of diff hit (target 52.60%)

Annotations

Check warning on line 72 in src/Grisette/Core/Data/Class/Function.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/Function.hs#L72 

Added line #L72 was not covered by tests

Check warning on line 474 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L474 

Added line #L474 was not covered by tests

Check warning on line 519 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L519 

Added line #L519 was not covered by tests

Check warning on line 550 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L550 

Added line #L550 was not covered by tests

Check warning on line 554 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L554 

Added line #L554 was not covered by tests

Check warning on line 558 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L558 

Added line #L558 was not covered by tests

Check warning on line 562 in src/Grisette/IR/SymPrim/Data/SymPrim.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/SymPrim.hs#L562 

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