Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Projects
Groups
Snippets
Sign up now
Login
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
c5a61da22bf03bdaa58dddf28c56fa5d5acd316d
Switch branch/tag
spot
buddy
src
bddop.c
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
