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

28 statements  

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 

13 

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. 

27 

28import atheris 

29 

30from hypothesis import given, assume 

31from hypothesis import strategies as st 

32 

33with atheris.instrument_imports(): 

34 from dateutil import tz 

35 from dateutil.parser import isoparse 

36 

37 

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) 

43 

44 

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) 

50 

51 sep = str(sep) # Python 2.7 requires bytes 

52 dtstr = dt.isoformat(sep=sep) 

53 dt_rt = isoparse(dtstr) 

54 

55 assert dt_rt == dt 

56 

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() 

61