Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[photran-dev] Problems running test suite?

If you have any problems running Photran's unit tests (e.g., errors like "test case can have only one constructor"), try going into the launch configuration for the test suite and changing the "Test runner" to "JUnit 3." (Our tests are all JUnit 3, not JUnit 4.)

I will add this information to the dev guide.

Jeff


Back to the top