aboutsummaryrefslogtreecommitdiff
path: root/src/ats/test_ats_solver_ril.conf
Commit message (Collapse)AuthorAge
* use lower-caseChristian Grothoff2015-02-07
|
* -simplify configs, do use defaults where they work / are identicalChristian Grothoff2014-12-15
|
* fixing configuration for failing testMatthias Wachs2014-04-03
|
* test variablesFabian Oehlmann2013-11-22
|
* new solver specific testMatthias Wachs2013-09-26
|
* updated configuration filesMatthias Wachs2013-09-26
|
* new solver testMatthias Wachs2013-09-26