Project

General

Profile

« Previous | Next » 

Revision 4a20854e

ID4a20854e33a0529027f2c054873cf08f51bad03c
Parent 0d6818bb
Child f15d82e6

Added by Hans-Peter Deifel 8 months ago

tests: Print summary for failed tests at the end

Makes it easier to find failing formulas for further fine-grained
analysis.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences