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.

Sign up for GitHub

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

Jump to bottom

SMT2: implement range type #8466

Merged
merged 1 commit into from
Sep 23, 2024
+48 −3

SMT2: implement range_type

e21c686
Select commit
Loading
Failed to load commit list.
Merged

SMT2: implement range type #8466

SMT2: implement range_type
e21c686
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Sep 22, 2024 in 1s

5.55% of diff hit (target 78.31%)

View this Pull Request on Codecov

5.55% of diff hit (target 78.31%)

Annotations

Check warning on line 2926 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2923-L2926 

Added lines #L2923 - L2926 were not covered by tests

Check warning on line 2932 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2929-L2932 

Added lines #L2929 - L2932 were not covered by tests

Check warning on line 2937 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2935-L2937 

Added lines #L2935 - L2937 were not covered by tests

Check warning on line 2939 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2939 

Added line #L2939 was not covered by tests

Check warning on line 2943 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2941-L2943 

Added lines #L2941 - L2943 were not covered by tests

Check warning on line 2945 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2945 

Added line #L2945 was not covered by tests

Check warning on line 2947 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2947 

Added line #L2947 was not covered by tests

Check warning on line 2951 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2950-L2951 

Added lines #L2950 - L2951 were not covered by tests

Check warning on line 3471 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3471 

Added line #L3471 was not covered by tests

Check warning on line 3478 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3473-L3478 

Added lines #L3473 - L3478 were not covered by tests

Check warning on line 5641 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L5641 

Added line #L5641 was not covered by tests

Check warning on line 5644 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L5643-L5644 

Added lines #L5643 - L5644 were not covered by tests

Check warning on line 5647 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L5646-L5647 

Added lines #L5646 - L5647 were not covered by tests
View more details on Codecov