Project

General

Profile

« Previous | Next » 

Revision 99d301af

ID99d301af1abfa4b023fdc415327ba03c77dba750
Parent 3285ac30
Child b395c870

Added by Christoph Egger over 3 years ago

Replace A by a and E by e in testsuite

A and E are syntax elements in CTL
"Fixes" the testsuite for K

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences