Opened 17 years ago

Closed 17 years ago

#19 closed task (fixed)

JUnit test cases

Reported by: Stephen Siegel Owned by: zirkel
Priority: major Milestone:
Component: examples Version: 1.0
Keywords: junit, test Cc:

Description

JUnit test classes should be set up to run tests on each of the examples. The test classes should be placed in the test directory. There should be one class for each example. Each test class should contain multiple tests, trying compare, verify (both spec and impl), different options (urgent, various deadlock, etc.). Use JUnit 4.x style classes.

Change History (3)

comment:1 by zirkel, 17 years ago

Status: newaccepted

comment:2 by zirkel, 17 years ago

JUnit test cases have been created. They currently only look at bounded versions. Each test case verifies the spec, verifies the impl, then compares.

comment:3 by zirkel, 17 years ago

Resolution: fixed
Status: acceptedclosed

The remainder of this task is part of another ticket.

Note: See TracTickets for help on using tickets.