Coverage for /pythoncovmergedfiles/medio/medio/src/fuzz_prop_isoparse.py: 32%
Shortcuts on this page
r m x toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
Shortcuts on this page
r m x toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
1###### Coverage stub
2import atexit
3import coverage
4cov = coverage.coverage(data_file='.coverage', cover_pylib=True)
5cov.start()
6# Register an exist handler that will print coverage
7def exit_handler():
8 cov.stop()
9 cov.save()
10atexit.register(exit_handler)
11####### End of coverage stub
12#!/usr/bin/python3
14# Copyright 2021 Google LLC
15#
16# Licensed under the Apache License, Version 2.0 (the "License");
17# you may not use this file except in compliance with the License.
18# You may obtain a copy of the License at
19#
20# http://www.apache.org/licenses/LICENSE-2.0
21#
22# Unless required by applicable law or agreed to in writing, software
23# distributed under the License is distributed on an "AS IS" BASIS,
24# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
25# See the License for the specific language governing permissions and
26# limitations under the License.
28import atheris
30from hypothesis import given, assume
31from hypothesis import strategies as st
33with atheris.instrument_imports():
34 from dateutil import tz
35 from dateutil.parser import isoparse
38# Strategies
39TIME_ZONE_STRATEGY = st.sampled_from([None, tz.UTC] +
40 [tz.gettz(zname) for zname in ('America/New_York', 'America/Los_Angeles',
41 'Australia/Sydney', 'Europe/London')])
42ASCII_STRATEGY = st.characters(max_codepoint=127)
45@given(dt=st.datetimes(timezones=TIME_ZONE_STRATEGY), sep=ASCII_STRATEGY)
46def test_timespec_auto(dt, sep):
47 if dt.tzinfo is not None:
48 # Assume offset has no sub-second components
49 assume(dt.utcoffset().total_seconds() % 60 == 0)
51 sep = str(sep) # Python 2.7 requires bytes
52 dtstr = dt.isoformat(sep=sep)
53 dt_rt = isoparse(dtstr)
55 assert dt_rt == dt
57if __name__ == "__main__":
58 # If that passed, we use Atheris to provide the inputs to our test:
59 atheris.Setup(sys.argv, atheris.instrument_func(test_timespec_auto.hypothesis.fuzz_one_input))
60 atheris.Fuzz()