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
Last time we have found two bugs (#66 and #83) that cannot be reproduced in batch mode. We could extend the testing infrastructure by some mechanism for testing REPL sessions.
Last time we have found two bugs (#66 and #83) that cannot be reproduced in batch mode. We could extend the testing infrastructure by some mechanism for testing REPL sessions.
This issue was suggested by @forell.
The text was updated successfully, but these errors were encountered: