Difference between revisions of "Termination Competition 2015 Bugs"

From Termination-Portal.org
Jump to navigationJump to search
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]
  
 +
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9848
 
* 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
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652

Revision as of 13:20, 30 July 2015