1. 15 Jun, 2018 1 commit
  2. 30 May, 2018 3 commits
  3. 28 May, 2018 4 commits
  4. 16 May, 2018 1 commit
  5. 19 Apr, 2018 4 commits
  6. 05 Apr, 2018 2 commits
  7. 25 Jan, 2018 1 commit
  8. 18 Jan, 2018 1 commit
  9. 25 Sep, 2017 2 commits
  10. 21 Jun, 2017 2 commits
  11. 15 Jun, 2017 2 commits
    • Petr Špaček's avatar
    • Petr Špaček's avatar
      diffrepro: tool to measure reproducibility of mismatches detected by msgdiff · 2b2a03b4
      Petr Špaček authored
      Some mismatches detected by msgdiff are not readily reproducible and
      sieving output from diffsum by hand is time consuming.
      
      The diffrepro tool walks through all differences in sub-database "diffs"
      and re-queries specified resolvers. Answers are compared using the very
      same algorithm as in msgdiff and diff from new answers is compared
      with respective diff stored in "diffs" DB.
      
      Information whether new answers from other resolves match
      and if comparison with target resolver lead to the same diff as stored
      from previous runs is stored into "reprostats" sub-database.
      
      This tool can be re-run multiple times to gather better statistics.
      Results from current run will be added to results from all the previous
      runs.
      
      Data in the "reprostats" DB can be later read by "reprosum" tool which
      produces list of queries leading to reproducible failures.
      This ability will be later folded into "diffsum" tool.
      2b2a03b4