HomeSoftware Heritage

model: improve a bit the TimestampWithTimezone model

Description

model: improve a bit the TimestampWithTimezone model

  • add a validator for negative_utc (can be True iff offset is 0),
  • update the timestamps_with_timezone hypothesis strategy,
  • add low-level tests for it.

Details

Provenance
douarddaAuthored on Mar 12 2020, 4:01 PM
douarddaPushed on Apr 1 2020, 2:54 PM
Differential Revision
D2824: model: improve a bit the TimestampWithTimezone model
Parents
rDMODac9d4c84a115: tests: add low level tests for the Timestamp model entity
Branches
Unknown
Tags
Unknown
Build Status
Buildable 11547
Build 17504: test-and-buildJenkins console · Jenkins