veyepar: Intro to Property-Based Testing with Hypothesis

Author(s):	Paul Zuradzki
Location	Slalom Build
Date	apr Thu 11	Days Raw Files
Start	18:30	First Raw Start	18:00
Duration	00:30:00	Offset	0:29:02
End	19:00	Last Raw End	19:30
Chapters	00:00 0:18:21
Total cuts_time	32 min.

https://www.chipy.org/meetings/247/
raw-playlist raw-mp4-playlist encoded-files-playlist host archive mp4 svg png

assets release.pdf Intro_to_PropertyBased_Testing_with_Hypothesis.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	One shortfall of example-based unit tests is that they only test known examples. Property-based testing lets you test against randomized inputs if you can specify properties that must be true of the code's behavior ("invariants"). You also test your function against extreme-values (aka, fuzzing). In this talk, will review some examples of property-based tests using the Hypothesis library. We will demo automated test generation ("ghostwriting" tests) to make writing tests easier. We will demo stateful testing to confirm that all possible states are valid in a program. Lastly, we will end with parting thoughts on how to specify properties. Often, the tricky part with PBT is knowing what to test! Since we are using randomized input, we need to specify properties that should hold true across all outputs. markdown
Comment:	production notes

2024-04-11/18_00_58.ts Apply: 18:00:58 - 18:01:35 ( 00:00:37 ) S: 18:00:58 - E: 18:30:58 D: 00:30:00 (End: 37.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_00_58.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	18:00:58		seconds: 0.0 Wall: 18:00:58
Duration	00:30:00
	18:30:58		seconds: 37.0 Wall: 18:01:35
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_00_58.ts Apply: 18:01:35 - 18:22:10 ( 00:20:35 ) S: 18:00:58 - E: 18:30:58 D: 00:30:00 (Start: 37.0) (End: 1272.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_00_58.ts :start-time=037.0 --audio-desync=0

	Raw File	Cut List
	18:00:58		seconds: 37.0 Wall: 18:01:35
Duration	00:30:00
	18:30:58		seconds: 1272.0 Wall: 18:22:10
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_00_58.ts Apply: 18:22:10 - 18:25:29 ( 00:03:19 ) S: 18:00:58 - E: 18:30:58 D: 00:30:00 (Start: 1272.0) (End: 1471.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_00_58.ts :start-time=01272.0 --audio-desync=0

	Raw File	Cut List
	18:00:58		seconds: 1272.0 Wall: 18:22:10
Duration	00:30:00
	18:30:58		seconds: 1471.0 Wall: 18:25:29
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_00_58.ts Apply: 18:25:29 - 18:30:58 ( 00:05:29 ) S: 18:00:58 - E: 18:30:58 D: 00:30:00 (Start: 1471.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_00_58.ts :start-time=01471.0 --audio-desync=0

	Raw File	Cut List
	18:00:58		seconds: 1471.0 Wall: 18:25:29
Duration	00:30:00
	18:30:58		seconds: 0.0 Wall: 18:00:58
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_30_59.ts Apply: 18:30:59 - 18:41:00 ( 00:10:01 ) S: 18:30:59 - E: 19:00:59 D: 00:30:00 (End: 601.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_30_59.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	18:30:59		seconds: 0.0 Wall: 18:30:59
Duration	00:30:00
	19:00:59		seconds: 601.0 Wall: 18:41:00
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_30_59.ts Apply: 18:41:00 - 18:41:41 ( 00:00:41 ) S: 18:30:59 - E: 19:00:59 D: 00:30:00 (Start: 601.0) (End: 642.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_30_59.ts :start-time=0601.0 --audio-desync=0

	Raw File	Cut List
	18:30:59		seconds: 601.0 Wall: 18:41:00
Duration	00:30:00
	19:00:59		seconds: 642.0 Wall: 18:41:41
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_30_59.ts Apply: 18:41:41 - 18:42:10 ( 00:00:29 ) S: 18:30:59 - E: 19:00:59 D: 00:30:00 (Start: 642.0) (End: 671.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_30_59.ts :start-time=0642.0 --audio-desync=0

	Raw File	Cut List
	18:30:59		seconds: 642.0 Wall: 18:41:41
Duration	00:30:00
	19:00:59		seconds: 671.0 Wall: 18:42:10
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_30_59.ts Apply: 18:42:10 - 18:42:38 ( 00:00:28 ) S: 18:30:59 - E: 19:00:59 D: 00:30:00 (Start: 671.0) (End: 699.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_30_59.ts :start-time=0671.0 --audio-desync=0

	Raw File	Cut List
	18:30:59		seconds: 671.0 Wall: 18:42:10
Duration	00:30:00
	19:00:59		seconds: 699.0 Wall: 18:42:38
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/18_30_59.ts Apply: 18:42:38 - 19:00:59 ( 00:18:21 ) S: 18:30:59 - E: 19:00:59 D: 00:30:00 (Start: 699.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/18_30_59.ts :start-time=0699.0 --audio-desync=0

	Raw File	Cut List
	18:30:59		seconds: 699.0 Wall: 18:42:38
Duration	00:30:00
	19:00:59		seconds: 0.0 Wall: 18:30:59
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/19_00_59.ts Apply: 19:00:59 - 19:15:14 ( 00:14:15 ) S: 19:00:59 - E: 19:30:59 D: 00:30:00 (End: 855.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/19_00_59.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	19:00:59		seconds: 0.0 Wall: 19:00:59
Duration	00:30:00
	19:30:59		seconds: 855.0 Wall: 19:15:14
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

2024-04-11/19_00_59.ts Apply: 19:15:14 - 19:30:59 ( 00:15:45 ) S: 19:00:59 - E: 19:30:59 D: 00:30:00 (Start: 855.0) show more...

vlc ~/Videos/veyepar/chipy/Apr_24/dv/slalom/2024-04-11/19_00_59.ts :start-time=0855.0 --audio-desync=0

	Raw File	Cut List
	19:00:59		seconds: 855.0 Wall: 19:15:14
Duration	00:30:00
	19:30:59		seconds: 0.0 Wall: 19:00:59
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this