buddy/src/bddop.c · c5a61da22bf03bdaa58dddf28c56fa5d5acd316d · Spot / Spot · GitLab

Nov 04, 2021
c5a61da2
[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
[buddy] Fix is_cube() and add tests
Philipp Schlehuber authored Nov 04, 2021
```
* src/bddop.c: Fix is_cube with bddtrue as input
* src/bddtest.cxx: Add tests here
```