You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file is redundant now since the information is in statement.json. It should be removed, though it doesn't matter too much if it is not.
The text was updated successfully, but these errors were encountered:
DE0CH
added
refactor
Refactoring that need to be coordinated
bad form
Ugly code that doesn't need to be fixed because it doesn't affect anything, but it looks ugly!!
labels
Aug 25, 2022
Are you referring to the old constrains file or do you mean constraints? If so then yeah I can change the executioner to read from statements.json instead once I handle some of these other issues first.
DE0CH
changed the title
Remove constrains.json
Remove constraints.json
Aug 25, 2022
Yeah look at me, misspelt constraints again... lol. Yes I mean constraints.json in the problem folder. Please don't worry about this for now. There are checks to ensure the constraints are consistent and there is no negative effect except for some bad form if we leave it like this.
This file is redundant now since the information is in
statement.json
. It should be removed, though it doesn't matter too much if it is not.The text was updated successfully, but these errors were encountered: