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
While trying to fix the tests for #470, I uncovered what I think are two small bugs in the new implementation of entr:
callbacks are not removed in all cases after entr ended, especially in cases where the user-provided callback throws an error
I think clusters of modifications tend to trigger user callback multiple times
A fix is provided in f6461b5. Hopefully, it should land in a branch that provides a good and reliable test for entr. I'm only opening this issue to avoid forgetting to include this elsewhere in case I would not manage to fix tests for entr...
The text was updated successfully, but these errors were encountered:
ffevotte
added a commit
to ffevotte/Revise.jl
that referenced
this issue
May 27, 2020
Check that `entr`:
1. behaves well in cases of clustered events -> OK
2. correctly removes user callbacks even when they throw -> small fix provided
Closes: timholy#494
Check that `entr`:
1. behaves well in cases of clustered events -> OK
2. correctly removes user callbacks even when they throw -> small fix provided
Closes: #494
While trying to fix the tests for #470, I uncovered what I think are two small bugs in the new implementation of
entr
:entr
ended, especially in cases where the user-provided callback throws an errorA fix is provided in f6461b5. Hopefully, it should land in a branch that provides a good and reliable test for
entr
. I'm only opening this issue to avoid forgetting to include this elsewhere in case I would not manage to fix tests forentr
...The text was updated successfully, but these errors were encountered: