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 , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
comment:3 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
The remainder of this task is part of another ticket.
Note:
See TracTickets
for help on using tickets.

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