Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
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