On Saturday, May 9, 2020 at 3:48:45 PM UTC-5, vitalije wrote: > Good catch Brian. Revision 8184a2023e5f9 contains the fix for this issue. Now hoist/dehoist commands are also tested using hypothesis.
I'm just beginning to see how cool Hypothesis is. All you had to do is add two command names to the list of method names. After that, the line: data.draw(lists(sampled_from(method_names),...) will do the rest. Vitalije, would you say Hypothesis is most useful during development? We don't want to take 300+ seconds for routine unit tests, but Hypothesis did find several unexpected edge cases. Would it make sense to test for these edge cases explicitly in unitTest.leo? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/25f3f327-901b-45cb-8eec-7b4030633085%40googlegroups.com.
