Skip to content

Add basic modelling and reformulation of propositional logic

Codecov / codecov/patch failed May 7, 2024 in 1s

8.11% of diff hit (target 58.07%)

View this Pull Request on Codecov

8.11% of diff hit (target 58.07%)

Annotations

Check warning on line 72 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L72 

Added line #L72 was not covered by tests

Check warning on line 74 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L74 

Added line #L74 was not covered by tests

Check warning on line 77 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L76-L77 

Added lines #L76 - L77 were not covered by tests

Check warning on line 80 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L79-L80 

Added lines #L79 - L80 were not covered by tests

Check warning on line 84 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L84 

Added line #L84 was not covered by tests

Check warning on line 137 in crates/fzn-huub/src/main.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/fzn-huub/src/main.rs#L137 

Added line #L137 was not covered by tests

Check warning on line 99 in crates/huub/src/model.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model.rs#L97-L99 

Added lines #L97 - L99 were not covered by tests

Check warning on line 104 in crates/huub/src/model.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model.rs#L104 

Added line #L104 was not covered by tests

Check warning on line 127 in crates/huub/src/model.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model.rs#L127 

Added line #L127 was not covered by tests

Check warning on line 146 in crates/huub/src/model.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model.rs#L146 

Added line #L146 was not covered by tests

Check warning on line 161 in crates/huub/src/model.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model.rs#L160-L161 

Added lines #L160 - L161 were not covered by tests

Check warning on line 30 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L24-L30 

Added lines #L24 - L30 were not covered by tests

Check warning on line 34 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L32-L34 

Added lines #L32 - L34 were not covered by tests

Check warning on line 55 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L48-L55 

Added lines #L48 - L55 were not covered by tests

Check warning on line 58 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L57-L58 

Added lines #L57 - L58 were not covered by tests

Check warning on line 61 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L61 

Added line #L61 was not covered by tests

Check warning on line 67 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L67 

Added line #L67 was not covered by tests

Check warning on line 77 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L73-L77 

Added lines #L73 - L77 were not covered by tests

Check warning on line 79 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L79 

Added line #L79 was not covered by tests

Check warning on line 82 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L82 

Added line #L82 was not covered by tests

Check warning on line 85 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L84-L85 

Added lines #L84 - L85 were not covered by tests

Check warning on line 91 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L88-L91 

Added lines #L88 - L91 were not covered by tests

Check warning on line 93 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L93 

Added line #L93 was not covered by tests

Check warning on line 96 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L96 

Added line #L96 was not covered by tests

Check warning on line 98 in crates/huub/src/model/bool.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/huub/src/model/bool.rs#L98 

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