search

kiniry / Mobius

4 stars 8 forks source link

Beetlz does not report classes with no refinement #658

Open atiti opened 11 years ago

atiti commented 11 years ago

For inputs where there are classes in bon with no corresponding class in java (and vice versa), no error/warning is reported.

To recreate: run beetlz with a single java class or bon with a single class. Beetlz should report the class for which no refinement exists. It does not. We get "No classes to check. Please check your input files." for checking refinement in each direction.

I'm testing with Beetlz eclipse plugin 1.2.7, but I see the same behaviour with the command line version built from the same source.

atiti commented 11 years ago

From: fintan (GH: fintanf) Date: Wed Mar 17 14:56:41 2010

This seems to have actually been a manifestation of classes in no cluster as well as another minor bug to do with specifying the source (bon/java/both).