• Maximilien Colange's avatar
    Add support to load GAL models. · c9aabcdd
    Maximilien Colange authored
    * spot/ltsmin/ltsmin.cc: Handle GAL models.
    * tests/Makefile.am: Test the new feature.
    * tests/ltsmin/check.test: Also check GAL.
    * tests/ltsmin/beem-peterson.4.gal: A new GAL model for tests.
    * tests/ltsmin/finite.gal: A new GAL model for tests.
    * tests/ltsmin/finite3.test: A new test for GAL.
finite.gal 266 Bytes