search

dionysos-dev / Dionysos.jl

MIT License
40 stars 16 forks source link

Remove all BDDUtils #321

Closed adrienbanse closed 9 months ago

adrienbanse commented 9 months ago

Everything related to BDDs is now in this repository https://github.com/dionysos-dev/BDDUtils.jl

This PR closes https://github.com/dionysos-dev/Dionysos.jl/issues/319

codecov-commenter commented 9 months ago

Codecov Report

Merging #321 (b473f54) into master (6eac99b) will decrease coverage by 0.54%. Report is 1 commits behind head on master. The diff coverage is n/a.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

@@            Coverage Diff             @@
##           master     #321      +/-   ##
==========================================
- Coverage   82.83%   82.29%   -0.54%     
==========================================
  Files          60       57       -3     
  Lines        4410     4270     -140     
==========================================
- Hits         3653     3514     -139     
+ Misses        757      756       -1
Files Coverage Δ
src/utils/utils.jl 100.00% <ø> (ø)

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more