tests/Makefile.am · 60130237946ea38e372e313f9eada5b49dcd2079 · Spot / Spot · GitLab

Nov 16, 2021
60130237
tests: add missing dependency on libbddx in ltsmin tests · 60130237
Alexandre Duret-Lutz authored Nov 16, 2021
```
* tests/Makefile.am (ltsmin_modelcheck_LDADD,
ltsmin_testconvert_LDADD): Add libbddx as a dependecy.
```
60130237
tests: add missing dependency on libbddx in ltsmin tests
Alexandre Duret-Lutz authored Nov 16, 2021
```
* tests/Makefile.am (ltsmin_modelcheck_LDADD,
ltsmin_testconvert_LDADD): Add libbddx as a dependecy.
```