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

Extension does not read decomposition strategy #13

Open
hayley-leblanc opened this issue Oct 5, 2022 · 0 comments
Open

Extension does not read decomposition strategy #13

hayley-leblanc opened this issue Oct 5, 2022 · 0 comments

Comments

@hayley-leblanc
Copy link

Thanks for the great extension!

I've been messing around with different solvers and different decomposition strategies and while I've been able to change the solver settings in the Alloy editor and have it reflected in the extension, this does not seem to occur for the decomposition strategy. I'd like to be able to do unbounded model checking with the Electrod/NuSMV solver but it is pretty slow in batch decomposition mode.

I am a very bad with Java, so I can't be sure that this is the right place, but I noticed that here: https://github.com/s-arash/org.alloytools.alloy/blob/master/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/AlloyLanguageServer.java#L903 seems to be the location where various Alloy settings are read into the language server. The decomposition strategy is not read here; could this be the source of the issue?

Thanks!

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

No branches or pull requests

1 participant