Issues

• Variant reduction does not remove checks

  bug
  0152la/SpecReduce#7 · Filter by author 0152la opened on Oct 15, 2021

• Variant reduction improvement

  bug
  0152la/SpecReduce#5 · Filter by author 0152la opened on Jul 5, 2021
  1

• Add caching for MR checks

  0152la/SpecReduce#3 · Filter by author 0152la opened on May 25, 2021

• Improve interestingness test

  0152la/SpecReduce#2 · Filter by author 0152la opened on May 14, 2021

• Add mode to not reduce checks

  0152la/SpecReduce#1 · Filter by author 0152la opened on May 14, 2021