sort tests by solver and comment ril out until working
authorMatthias Wachs <wachs@net.in.tum.de>
Fri, 27 Sep 2013 09:10:45 +0000 (09:10 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Fri, 27 Sep 2013 09:10:45 +0000 (09:10 +0000)
commitdd22c2132e58ba4ac960337efc0f843c12f58780
tree2924023804214f906c955f8402d83b1601c14c66
parent8f65ccf2a3a5a3c5ddf1b33cc8a02e74758942b0
sort tests by solver and comment ril out until working
src/ats/Makefile.am