Skip to content
  • Alexandre Duret-Lutz's avatar
    * iface/gspn/ltlgspn.cc: Use command-line options to · c7bbe60f
    Alexandre Duret-Lutz authored
    select algorithms, not #defines.
    * iface/gspn/Makefile.am (check_PROGRAMS): Remove eltlgspn-srg,
    efmgspn-srg, fmgspn-rg, and fmgspn-srg and their associated
    source variables.  These are all replaced by
    ltlgspn-rg and ltlgspn-srg.
    * iface/gspn/dcswavefm.test, iface/gspn/dcswaveltl.test,
    iface/gspn/dcswaveeltl.test, iface/gspn/udcsefm.test,
    iface/gspn/udcseltl.test, iface/gspn/udcsfm.test,
    iface/gspn/udcsltl.test: Adjust calls to ltlgspn-srg.
    c7bbe60f