Code review comment for lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | # |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
73416ba
(Get the code!)
I don't like the fact that it duplicates the version check code, this should really be extracted to a function. But as a bugfix this works.
Also changes the requred version of UPPAAL to 4.1.23 (latest), I made a request to UPPAAL devs if the can give us a version number based on the rev number.