-
Notifications
You must be signed in to change notification settings - Fork 25
Property Result in case of exceptions #326
Comments
What do you mean by "return a passing Result"? |
The property doesn't fail |
The parallel property shouldn't necessarily fail if an exception is thrown on one of the threads. It should only fail if we cannot complete the history (#317) in any way that linearises. Arguably we should either make Is that what you meant or did you mean something else? |
Another way to think of it is that |
Yes, this is what I meant. I personally agree a bit more with the second option: make |
Yes exactly. |
Yeah, I think you're right -- that's probably the better option. |
At the moment
runParallelCommandsNTimes
andprettyParallelCommands
return a passing Result even when there is some thrown exception on semantics. Maybe we should discuss which should be the default behaviour.Also the equivalent NParallel.. commands may encounter
executeCommands: impossible
(for example when an exception during aMemoryReferene Create fails
) because this #317 is not adopted yet.The text was updated successfully, but these errors were encountered: