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
At the moment, SPO thresholds are not being set in the conway Imp initialization, so this means all SPO thresholds are set to 0 .
Some tests that need to check SPO behavior is setting them to something else.
But it would be more realistic to have them set to non-zero for all tests, so that we are always aware in tests of the SPOs (and if necessary, set them explicitly, in each case, to 0 if necessary).
The text was updated successfully, but these errors were encountered:
At the moment, SPO thresholds are not being set in the conway Imp initialization, so this means all SPO thresholds are set to 0 .
Some tests that need to check SPO behavior is setting them to something else.
But it would be more realistic to have them set to non-zero for all tests, so that we are always aware in tests of the SPOs (and if necessary, set them explicitly, in each case, to 0 if necessary).
The text was updated successfully, but these errors were encountered: