Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bddtest.cxx
Find file
Blame
History
Permalink
[buddy] Fix is_cube() and add tests
· c5a61da2
Philipp Schlehuber
authored
Nov 04, 2021
* src/bddop.c: Fix is_cube with bddtrue as input * src/bddtest.cxx: Add tests here
c5a61da2