Difference between revisions of "Termination Competition 2015 Bugs"

From Termination-Portal.org
Jump to navigationJump to search
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
strange outputs from test runs before competition, cf. [http://lists.lri.fr/pipermail/termtools/2015-July/001062.html]
 
strange outputs from test runs before competition, cf. [http://lists.lri.fr/pipermail/termtools/2015-July/001062.html]
 +
 +
fresh:
 +
 +
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9848
 +
 +
already commented upon:
  
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683
Line 9: Line 15:
 
* http://lists.lri.fr/pipermail/termtools/2015-July/001063.html
 
* http://lists.lri.fr/pipermail/termtools/2015-July/001063.html
 
* http://lists.lri.fr/pipermail/termtools/2015-July/001064.html
 
* http://lists.lri.fr/pipermail/termtools/2015-July/001064.html
 +
 +
when you view such "problems" links, you might be seeing some non-conflicts because of
 +
* confusing termination and cycle-termination
 +
* postprocessor confused by time-outs (see https://github.com/stefanvonderkrone/star-exec-presenter/issues/93 )

Latest revision as of 13:20, 30 July 2015

strange outputs from test runs before competition, cf. [1]

fresh:

already commented upon:

comments on the above

when you view such "problems" links, you might be seeing some non-conflicts because of

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2015_Bugs&oldid=1619"