[Termtools] more test runs

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Mon Aug 15 13:21:54 CEST 2016

Previous message: [Termtools] termcomp test runs
Next message: [Termtools] Complexity of C programs: some issues
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

I did some more test runs, linked from here:
http://www.termination-portal.org/wiki/Termination_Competition_2016_Registration#Test_Runs

- Johannes.

Previous message: [Termtools] termcomp test runs
Next message: [Termtools] Complexity of C programs: some issues
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list