• Alexandre Duret-Lutz's avatar
    move the sanity tests in tests/sanity/ · 6e854b6d
    Alexandre Duret-Lutz authored
    * spot/sanity/: Move ...
    * tests/sanity/: ... here.
    * spot/sanity/Makefile.am: Merge with...
    * tests/Makefile.am: ... this.
    * tests/run.in: Learn to run perl tests.
    * README, configure.ac, spot/Makefile.am: Adjust.
    * spot/tl/mark.hh: Add missing SPOT_API detected by
    fixed private.test.
    
    * spot/twaalgos/weight.cc, spot/twaalgos/weight.hh: Move...
    * spot/priv/weight.cc, spot/priv/weight.hh: ... here, as
    suggested by fixed private.test.
    * spot/twaalgos/tau03opt.cc, spot/twaalgos/Makefile.am,
    spot/priv/Makefile.am: Adjust.
    6e854b6d
Makefile.am 2.83 KB