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

Changed BVSignConversion to SignConversion, add instances to it. #142

Merged
merged 1 commit into from
Oct 20, 2023

:boom: Changed BVSignConversion to SignConversion, add instances to it.

647d8b0
Select commit
Failed to load commit list.
Merged

Changed BVSignConversion to SignConversion, add instances to it. #142

:boom: Changed BVSignConversion to SignConversion, add instances to it.
647d8b0
Select commit
Failed to load commit list.
Codecov / codecov/patch failed Oct 5, 2023 in 0s

18.51% of diff hit (target 50.12%)

View this Pull Request on Codecov

18.51% of diff hit (target 50.12%)

Annotations

Check warning on line 793 in src/Grisette/Backend/SBV/Data/SMT/Lowering.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Backend/SBV/Data/SMT/Lowering.hs#L792-L793

Added lines #L792 - L793 were not covered by tests

Check warning on line 801 in src/Grisette/Backend/SBV/Data/SMT/Lowering.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Backend/SBV/Data/SMT/Lowering.hs#L800-L801

Added lines #L800 - L801 were not covered by tests

Check warning on line 21 in src/Grisette/Core/Data/Class/SignConversion.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/SignConversion.hs#L20-L21

Added lines #L20 - L21 were not covered by tests

Check warning on line 25 in src/Grisette/Core/Data/Class/SignConversion.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/SignConversion.hs#L24-L25

Added lines #L24 - L25 were not covered by tests

Check warning on line 29 in src/Grisette/Core/Data/Class/SignConversion.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/SignConversion.hs#L28-L29

Added lines #L28 - L29 were not covered by tests

Check warning on line 33 in src/Grisette/Core/Data/Class/SignConversion.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/SignConversion.hs#L32-L33

Added lines #L32 - L33 were not covered by tests

Check warning on line 37 in src/Grisette/Core/Data/Class/SignConversion.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/Core/Data/Class/SignConversion.hs#L36-L37

Added lines #L36 - L37 were not covered by tests

Check warning on line 541 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs#L540-L541

Added lines #L540 - L541 were not covered by tests

Check warning on line 617 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs#L616-L617

Added lines #L616 - L617 were not covered by tests

Check warning on line 984 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs#L984

Added line #L984 was not covered by tests

Check warning on line 1044 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs#L1044

Added line #L1044 was not covered by tests

Check warning on line 175 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermSubstitution.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermSubstitution.hs#L174-L175

Added lines #L174 - L175 were not covered by tests

Check warning on line 224 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs#L223-L224

Added lines #L223 - L224 were not covered by tests

Check warning on line 279 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs#L278-L279

Added lines #L278 - L279 were not covered by tests

Check warning on line 320 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs#L319-L320

Added lines #L319 - L320 were not covered by tests

Check warning on line 369 in src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/TermUtils.hs#L368-L369

Added lines #L368 - L369 were not covered by tests

Check warning on line 468 in src/Grisette/IR/SymPrim/Data/Prim/Model.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/Model.hs#L468

Added line #L468 was not covered by tests

Check warning on line 470 in src/Grisette/IR/SymPrim/Data/Prim/Model.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/Model.hs#L470

Added line #L470 was not covered by tests

Check warning on line 66 in src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs#L66

Added line #L66 was not covered by tests

Check warning on line 77 in src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs#L75-L77

Added lines #L75 - L77 were not covered by tests

Check warning on line 87 in src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs#L87

Added line #L87 was not covered by tests

Check warning on line 98 in src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs#L96-L98

Added lines #L96 - L98 were not covered by tests

Check warning on line 1564 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#L1563-L1564

Added lines #L1563 - L1564 were not covered by tests