Skip to content
Snippets Groups Projects
  1. Apr 20, 2017
  2. Apr 14, 2017
  3. Apr 13, 2017
  4. Apr 12, 2017
  5. Apr 11, 2017
  6. Apr 10, 2017
  7. Apr 06, 2017
  8. Mar 31, 2017
  9. Mar 27, 2017
  10. Mar 26, 2017
    • Hans-Peter Deifel's avatar
      tests: Run reasoner in new process for each formula · ad0b75b1
      Hans-Peter Deifel authored
      As it stands, cool leaks tons of memory with each `isSat` call. Until
      this is fixed, the new `--slow` testsuite would need at least 16GB of
      memory if all formulas are decided in one process. Thus, we now call
      isSat in a new child-process and allow the OS to reclaim memory after
      the child exits.
      
      NB: This uses the Unix.fork API, which is not available on Windows.
      ad0b75b1
    • Hans-Peter Deifel's avatar
      Add lots of test cases for CTL. · b002efa8
      Hans-Peter Deifel authored
      This imports some of the quickly decidable ctl comparision benchmark
      formulas into the test suite.
      
      The testsuite also gained a --slow parameter, that enables slower (but
      still fairly fast) formulas.
      b002efa8
  11. Mar 23, 2017
Loading