Project

General

Profile

« Previous | Next » 

Revision 9fdc9f4d

ID9fdc9f4d5bc9f7012e2b18cf692af439b1aa63fa
Parent 3c42e3f1
Child e0e6eb62, c4aee922

Added by Hans-Peter Deifel 9 months ago

Get testsuite running again

Fixes the syntax of all tests that use R and B as identifiers, which
are keywords now.

Also disables all tests involving nominals as they are currently all
throwing exceptions.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences