testsuite: remove some old -sat-cudd tests #117
Annotations
2 warnings
|
Install dependencies
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
Install dependencies
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Loading