search

FormalADL / kAADL

1 stars 1 forks source link

Error7：Derive from “The Last Ambiguity” #18

Open suweining opened 9 years ago

suweining commented 9 years ago

After altering，krun the test and we get this error message：

Exception in thread "main" java.lang.AssertionError: The greatest lower bound (GLB) of sorts [AmbIdPointId, UniCmpImplRef, ContainedModelElementList, SubCmpAssocDefElem]doesn't exist!