Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
60130237946ea38e372e313f9eada5b49dcd2079
Switch branch/tag
spot
tests
Makefile.am
Find file
Blame
History
Permalink
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
Alexandre Duret-Lutz authored