Model checker failing test

symphonytool / symphony

The Symphony IDE

5 stars 4 forks source link

Model checker failing test #272

Closed ldcouto closed 10 years ago

ldcouto commented 10 years ago

The model checker has only one test: eu.compassresearch.core.analysis.modelchecker.test.TestCMLModelchecker.

It has been failing for a very long time now. This disrupts the build process. It needs bo be addressed in one of two ways:

if the test is not really doing anything, it should be removed
if the test is meant to be run, it should be fixed ASAP. Failing tests cannot be a regular part of the build.

adalbertocajueiro commented 10 years ago

The removal of Chaos affected the model checker as well as the changes made for the last meeting in Newcastle. This problem has been fixed right now and pushed to the remote repository on branch acf.

ldcouto commented 10 years ago

Yep, confirmed. Model Checker test passes.