Open mhyee opened 11 years ago
Currently, options are set and scattered over the codebase, within certain methods.
Basically, we can pass certain options in to Kodkod, but them some method will go and ignore the options and set their own.
This should not be happening. All options should be set up front, and no method should be setting its own options and wiping everything else out.
New options to add: #38, #30
joseph39
commented
10 years ago joseph39
commented
10 years ago
Currently, options are set and scattered over the codebase, within certain methods.
Basically, we can pass certain options in to Kodkod, but them some method will go and ignore the options and set their own.
This should not be happening. All options should be set up front, and no method should be setting its own options and wiping everything else out.