[Minotaur-dev] [minotaur-solver/minotaur] 1df568: minor change in cmake config for tests

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 1df568def4f7ed1d1e543ac68ac0f72c81bf26b2
      https://github.com/minotaur-solver/minotaur/commit/1df568def4f7ed1d1e543ac68ac0f72c81bf26b2
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-05-22 (Wed, 22 May 2019)

  Changed paths:
    M src/testing/CMakeLists.txt

  Log Message:
  -----------
  minor change in cmake config for tests


  Commit: 413ef6b1b6982d7d39739bc76282c8ca65ae83b1
      https://github.com/minotaur-solver/minotaur/commit/413ef6b1b6982d7d39739bc76282c8ca65ae83b1
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-05-22 (Wed, 22 May 2019)

  Changed paths:
    M src/base/LGCIGenerator.cpp
    M src/base/MultilinearTermsHandler.cpp

  Log Message:
  -----------
  Merge branch 'master' of https://github.com/minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/9eafe33b454c...413ef6b1b698