-
Notifications
You must be signed in to change notification settings - Fork 5
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
Issue 104: save complete config in file #106
Issue 104: save complete config in file #106
Conversation
I am starting to believe, that you don't start the extension from the code. It is not sufficient to load a different UVL.exe. You need to start the extension with F5, if you press F5 a new VSCode instance should spawn with all the changes. |
@ThiBruUU Have you tried it again? |
I tried again. The "Save All" button is visible and works for features in my case. I also tried attributes and they weren't saved correctly when saving with the "Save All" button. |
@ThiBruUU Do you mean, that the numbers sometimes differ from what you configured? |
yes, exactly. When saving via the normal save, the number attribute was saved correctly. It was only saved with 0 when saving via save all. |
Now I am confused. Is this a Bug exclusive to this issue or not? If so, could you give a detailed example |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i guess i made a mistake in the configuration step and set the feature with the attribute false, so the attribute is 0.0 in the save all action. If the feature is enabled, the correct number for the attribute is set in the json file.
Fixes: #104
When clicking "Save All" it saves every variable, even the ones that got filled by the smt solver