Opened 13 months ago

Last modified 13 months ago

#133 new task

Use Hypothesis to find more bugs in the time parsing

Reported by: schwa Owned by: schwa
Priority: minor Milestone:
Component: Test code Version: 3.4
Keywords: parser time timezone Hypothesis Cc:


Given the bug in #131 and another one found while working on [93d4fddb80c3], I can imagine that there are even more bugs. To find them, the Hypothesis library may be useful.

However, this has the problem that the parser code currently uses code from datetime and time, which implicitly use information on current time and my local time zone. To make Hypothesis effective, it would require a redesign of the tests and possibly the production code to be able to vary the "perceived" time and time zone.

So the use of Hypothesis would require a tradeoff between (hopefully) fewer bugs and a more complicated design.

Change History (1)

comment:1 Changed 13 months ago by schwa

Component: LibraryTest code
Note: See TracTickets for help on using tickets.