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
When modules are added or renamed in linea-arithmetization, we have to change this in several places in module limits files used in tests. For example see #36 and #35
Suggested improvement: have a single limits.toml file used by all tests, and override limits as required in specific tests. This would mean new modules get added in only one place.
The text was updated successfully, but these errors were encountered:
When modules are added or renamed in linea-arithmetization, we have to change this in several places in module limits files used in tests. For example see #36 and #35
Suggested improvement: have a single limits.toml file used by all tests, and override limits as required in specific tests. This would mean new modules get added in only one place.
The text was updated successfully, but these errors were encountered: