Commit History

Author SHA1 Message Date
  Denis Waßmann 5054679743 Fixed test-case and added a determinism-checking test-case (which does its job because it fails right now) 6 years ago
  Denis Waßmann 1c56efb576 Created a test-directory, colonialized by a single testcase, and a script to run them 7 years ago