Mark Utting modified ticket #2

metric.toString() is showing "???"

Mark Utting modified ticket #2

metric.toString() is showing "???"

Mark Utting posted a comment on ticket #2

This is a known feature of ModelJUnit, intended to support testing large/infinite...

Mark Utting modified ticket #3

ModelJUnit & Maven

Mark Utting posted a comment on ticket #3

Good idea. ModelJUnit 2.5 is now available in Maven Central. Group ID: nz.ac.waikato.modeljunit...

Mark Utting posted a comment on ticket #7

Thanks Grégoire for such a clear and useful bug report.

Mark Utting modified ticket #7

Erroneous state coverage with AllRoundTester

Mark Utting posted a comment on ticket #7

Interesting bug! Turns out that AllRoundTester uses a StateCoverage metric internally,...

Mark Utting committed [r7264]

Fixed bug #7 (Erroneous state coverage with All...

Mark Utting committed [r7263]

Fixed bug #6 (Wrong docstring in TransitionPair...

Mark Utting modified ticket #6

Wrong docstring in TransitionPairCoverage

Mark Utting posted a comment on ticket #6

Fixed - Javadocs corrected.

Mark Utting modified ticket #5

Site outdated?

Mark Utting posted a comment on ticket #5

Thanks. I've updated that website to point to Sourceforge for the latest downloads...

Mark Utting committed [r7262]

Remove one source of non-determinism in QuickTe...

Mark Utting committed [r7261]

Turn off GPG to avoid annoying passphrase promp...

Grégoire Détrez created ticket #7

Erroneous state coverage with AllRoundTester

Grégoire Détrez created ticket #6

Wrong docstring in TransitionPairCoverage

Grégoire Détrez created ticket #5

Site outdated?

modeljunit released /ModelJUnit-2.5/modeljunit-2.5-javadoc.jar

modeljunit released /ModelJUnit-2.5/modeljunit-2.5-jar-with-dependencies.jar

modeljunit released /ModelJUnit-2.5/modeljunit-2.5-sources.jar

Mark Utting committed [r7260]

[maven-release-plugin] prepare for next develop...

Mark Utting committed [r7259]

[maven-release-plugin] copy for tag modeljunit...

Mark Utting committed [r7258]

[maven-release-plugin] prepare release modeljun...