[Termtools] Certification problem (because of ampersand encoding in XML)

[Michael Schaper]

Thank you for the notice.

We already have fixed and tested the output for our tools - everything 
works fine now. We provide the ids of the updated tools next week.

Regards,
Michael


On 07/25/2015 07:22 PM, Johannes Waldmann wrote:
> Dear all,
>
> can you help me debug this issue
> which appears in runtime complexity innermost certified,
> but is independent of the semantics of that category:
>
> this is accepted:
> http://nfa.imn.htwk-leipzig.de/termcomp-devel/pairs/117958579
>
> but this is not:
> http://nfa.imn.htwk-leipzig.de/termcomp-devel/pairs/117958580
>
> one has: <name><</name> ,
>
> other has: <name>&lt;</name>
>
> resulting in an input mismatch. Rightly so?
>
> - Johannes.
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>