Difference between revisions of "Termination Competition 2015 Bugs"

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

confusing termination and cycle-termination
postprocessor confused by time-outs (see https://github.com/stefanvonderkrone/star-exec-presenter/issues/93 )

@@ Line 1: / Line 1: @@
-strange outputs from test runs before competition
+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/9632/9652
 * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9546/9548/9568/9569
+comments on the above
+* http://lists.lri.fr/pipermail/termtools/2015-July/001063.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 )