You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Actually it is not an error but a trace from the SAT solver (I think...) when there is a very large number of combination to process. The time to give an answer could then be very long...
I already open an issue for that problem here #31
I have several machine generated Feature Models which formed by SPLOT.
Also, each feature model contains 500 features.
However, whenever I try to compare the Feature Model, it shows some errors as bellow.
...
Garbage collection #1: 2000003 nodes / 901281 free / 0.232s / 0.232s total
Garbage collection #2: 2000003 nodes / 189 free / 0.358s / 0.59s total
Resizing node table from 2000003 to 2049991
Garbage collection #3: 2049991 nodes / 0 free / 0.365s / 0.955s total
Resizing node table from 2049991 to 2099963
...
Here is the my sample code.
String fileName = "base.xml";
String targetName="base2.xml";
FMLShell _shell = FMLShell.instantiateStandalone(null);
//Parse the FM with the model to text converter
String mkFmlInput = "fm1" + " = " + "FM (" + """ + fileName + """ + ")\n\n" ;
Variable v = _shell.parse(mkFmlInput);
FeatureModelVariable fm = (FeatureModelVariable) v;
FeatureModel expectedFm = fm.getFm();
String mkFmlInput2 = "fm2" + " = " + "FM (" + """ + targetName + """ + ")\n\n" ;
Variable v2 = _shell.parse(mkFmlInput2);
FeatureModelVariable fm2 = (FeatureModelVariable) v2;
System.out.println(fm.compare(fm2));
Any help will be appreciate!
The text was updated successfully, but these errors were encountered: