Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Issues with AutoSelect #27

Open
surli opened this issue May 28, 2013 · 0 comments
Open

Issues with AutoSelect #27

surli opened this issue May 28, 2013 · 0 comments
Labels

Comments

@surli
Copy link
Collaborator

surli commented May 28, 2013

Apparently the autoSelect operator doesn't work properly:

urli@localhost ~/familiar$ java -Xmx1024m -jar familiar-1.0.8.jar
FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) version 1.0.8 (beta)
http://familiar-project.github.com/
fml> a = FM(A: [B] [C] [D];)
a: (FEATURE_MODEL) A: [D] [B] [C] ;
fml> ca = configuration a
ca: (CONFIGURATION) selected: [A] deselected: []
fml> autoSelect ca RANDOM
res1: (BOOLEAN) true
fml> ca
ca: (CONFIGURATION) selected: [A] deselected: []
fml> autoSelect ca RANDOM
res2: (BOOLEAN) true
fml> ca
ca: (CONFIGURATION) selected: [A] deselected: []

Same random twice ?!

fml> autoSelect ca MAX
res3: (BOOLEAN) true
fml> ca
ca: (CONFIGURATION) selected: [A] deselected: []

MAX select only A ??

fml> autoSelect ca MIN
res4: (BOOLEAN) true
fml> ca
ca: (CONFIGURATION) selected: [A] deselected: [D, B, C]

MIN seems ok.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant