-
Alexandre Duret-Lutz authored
* tests/Makefile.am (ltsmin_modelcheck_LDADD, ltsmin_testconvert_LDADD): Add libbddx as a dependecy.
Alexandre Duret-Lutz authored* tests/Makefile.am (ltsmin_modelcheck_LDADD, ltsmin_testconvert_LDADD): Add libbddx as a dependecy.
Loading