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

Error with caching of Essence' when other bugs occur #672

Open
jwatts-maybe opened this issue Nov 28, 2024 · 0 comments
Open

Error with caching of Essence' when other bugs occur #672

jwatts-maybe opened this issue Nov 28, 2024 · 0 comments

Comments

@jwatts-maybe
Copy link

Probably the simplest way to recreate this issue:

  1. Take a known good Essence model, run Conjure to solve it.
  2. Run Conjure on it again, this time with the -qi flag, which (per a separate bug report) trips Conjure's bug message mid-compile.
  3. Attempt to run Conjure "normally" again on the model.

This returns the output:

Using cached models.
No solutions found.
Multiple eprime models found in the output directory, not copying solutions.

In actuality, there are no Essence' files in conjure-output at this stage.

More generally, this occurs whenever a bug prevents Conjure from completing compilation to Essence' between "good" runs. For example, I have also demonstrated this behaviour by taking a file with a line in it that causes Conjure to crash (specifically my toMSet example from a separate bug report) and commenting/uncommenting the bad line between runs.

The behaviour is also the same if you just delete the .eprime file, so I assume this is just a way for #495 to manifest from Conjure deleting the file but not replacing it.

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