1. 10 Jul, 2020 1 commit
    • Alexandre Duret-Lutz's avatar
      run: fix reduce on automata with Fin · 918548a0
      Alexandre Duret-Lutz authored
      Reported by Florian Renkin.
      
      * spot/twaalgos/emptiness.cc (reduce): If the automaton uses Fin
      acceptance, check the reduced cycle and revert to the original cycle
      if necessary.
      * tests/python/intrun.py: New file.
      * tests/Makefile.am: Add it.
      * spot/twaalgos/emptiness.hh: Improve documentation.
      918548a0
  2. 18 Jun, 2020 1 commit
    • Alexandre Duret-Lutz's avatar
      genem: replace one recursive call by a loop · 6dbdd89f
      Alexandre Duret-Lutz authored
      * spot/twaalgos/genem.cc: In the spot29 implementation for the generic
      case, when Fin(fo)=true and Fin(fo)=false have to be tested
      separately, the second test can be done by a loop instead of a
      recursion, to avoid unnecessary processing of the acceptance
      condition.  Suggested by Jan Strejček.
      6dbdd89f
  3. 11 Jun, 2020 1 commit
    • Etienne Renault's avatar
      bricks: rework tests · b3c7994a
      Etienne Renault authored
      On some architectures this test fails due to several
      reasons:
          - missing headers
          - use of valueAt instead of count in ConCS. Indeed,
          valueAt acts similarly to count but avoids some validity
          check that are required when the hashmap is growing.
      
      This patch also:
           - removes inaccurate comments from bricks.test.
           - test more features for hashset.
      
      * spot/bricks/brick-hashset,
      tests/core/bricks.cc,
      tests/core/bricks.test: Here.
      b3c7994a
  4. 10 Jun, 2020 9 commits
  5. 09 Jun, 2020 8 commits
  6. 08 Jun, 2020 2 commits
  7. 04 Jun, 2020 3 commits
  8. 03 Jun, 2020 15 commits