Termination Competition 2012 Comments
From Termination-Portal.org
Revision as of 18:19, 26 June 2012 by J.waldmann (talk | contribs) (Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va...")
Participants and observers may put their comments here. These could be used when a report on the competition is prepared.
SRS Certified
machbox-cert gets a "failed validation" here. What happened? It prints YES on stdout, but then CPF output raises an exception because a pattern for RIsEmpty is missing here. Obviously the author did not believe that any of the problems could be solved by linear additive weights alone ...
