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

Open dimacs files broken #868

Closed
meinicke opened this issue Mar 7, 2019 · 0 comments
Closed

Open dimacs files broken #868

meinicke opened this issue Mar 7, 2019 · 0 comments

Comments

@meinicke
Copy link
Contributor

meinicke commented Mar 7, 2019

Prerequisitives

  • Eclipse Version: 2018-12
  • FeatureIDE-Version: 3.5
  • Operating system: WIN 10
  • Java runtime used to run eclipse: 1.8
  • FeatureIDE Composer: Feature Modeling
  • Git branch/Commit-ID: N/A
  • Java compiler used to build the FeatureIDE plugin: N/A

Issue description

Opening a dimacs file with the Feature Model Editor has two bugs (I used a non-FeatureIDE project):
(1) all the features are shown in the top left corner
(2) constraints are duplicated everytime the editor is reopened

featureidebug

The dimacs file I used:

c 1 base
c 2 KEYS
c 3 ENCRYPT
c 4 AUTORESPONDER
c 5 ADDRESSBOOK
c 6 SIGN
c 7 FORWARD
c 8 VERIFY
c 9 DECRYPT
p cnf 9 6
-3 9 0
-9 3 0
-3 2 0
-6 8 0
-8 6 0
-6 2 0

@tthuem tthuem added this to the 3.5.5 (April) milestone Mar 11, 2019
@tthuem tthuem modified the milestones: 3.5.5 (April), 3.6.0 (June) Apr 23, 2019
skrieter pushed a commit that referenced this issue May 28, 2019
Fixed null pointer for constraint dialog.
Fixed potential null pointer for getting analysis results for specific
features or constraints.
Fixed problem with FeatureIDE context menu.
Fixed #868.
Fixed #869.
@skrieter skrieter closed this as completed Aug 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants