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

Optional visual trace of backtracking search tree #814

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Add BacktrackingTree and debug keyword

5ca77d9
Select commit
Loading
Failed to load commit list.
Open

Optional visual trace of backtracking search tree #814

Add BacktrackingTree and debug keyword
5ca77d9
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 12, 2023 in 1s

62.66% of diff hit (target 0.00%)

View this Pull Request on Codecov

62.66% of diff hit (target 0.00%)

Annotations

Check warning on line 201 in src/categorical_algebra/HomSearch.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/categorical_algebra/HomSearch.jl#L199-L201

Added lines #L199 - L201 were not covered by tests

Check warning on line 208 in src/categorical_algebra/HomSearch.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/categorical_algebra/HomSearch.jl#L203-L208

Added lines #L203 - L208 were not covered by tests

Check warning on line 149 in src/graphics/GraphvizCategories.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/graphics/GraphvizCategories.jl#L149

Added line #L149 was not covered by tests

Check warning on line 152 in src/graphics/GraphvizCategories.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/graphics/GraphvizCategories.jl#L151-L152

Added lines #L151 - L152 were not covered by tests

Check warning on line 158 in src/graphics/GraphvizCategories.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/graphics/GraphvizCategories.jl#L158

Added line #L158 was not covered by tests

Check warning on line 167 in src/graphics/GraphvizCategories.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/graphics/GraphvizCategories.jl#L162-L167

Added lines #L162 - L167 were not covered by tests

Check warning on line 177 in src/graphics/GraphvizCategories.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/graphics/GraphvizCategories.jl#L169-L177

Added lines #L169 - L177 were not covered by tests