Hi
user
Admin Login:
Username:
Password:
Name:
Intro to Property-Based Testing with Hypothesis
--client
chipy
--show
Apr_24
--room slalom 15352 --force
Next: 10 Exploring Cellular Automata in Python using Golly
show more...
Marks
Author(s):
Paul Zuradzki
Location
Slalom Build
Date
apr Thu 11
Days Raw Files
Start
April 11, 2024, 6:30 p.m.
First Raw Start
April 11, 2024, 6 p.m.
Duration
00:30:00
Offset
0:29:02
End
April 11, 2024, 7 p.m.
Last Raw End
April 11, 2024, 7:30 p.m.
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:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
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
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
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.
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
April 11, 2024, 6 p.m.
seconds: 0.0
Wall: 18:00:58
Duration
00:30:00
April 11, 2024, 6:30 p.m.
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
April 11, 2024, 6 p.m.
seconds: 37.0
Wall: 18:01:35
Duration
00:30:00
April 11, 2024, 6:30 p.m.
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
April 11, 2024, 6 p.m.
seconds: 1272.0
Wall: 18:22:10
Duration
00:30:00
April 11, 2024, 6:30 p.m.
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
April 11, 2024, 6 p.m.
seconds: 1471.0
Wall: 18:25:29
Duration
00:30:00
April 11, 2024, 6:30 p.m.
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
April 11, 2024, 6:30 p.m.
seconds: 0.0
Wall: 18:30:59
Duration
00:30:00
April 11, 2024, 7 p.m.
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
April 11, 2024, 6:30 p.m.
seconds: 601.0
Wall: 18:41:00
Duration
00:30:00
April 11, 2024, 7 p.m.
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
April 11, 2024, 6:30 p.m.
seconds: 642.0
Wall: 18:41:41
Duration
00:30:00
April 11, 2024, 7 p.m.
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
April 11, 2024, 6:30 p.m.
seconds: 671.0
Wall: 18:42:10
Duration
00:30:00
April 11, 2024, 7 p.m.
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
April 11, 2024, 6:30 p.m.
seconds: 699.0
Wall: 18:42:38
Duration
00:30:00
April 11, 2024, 7 p.m.
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
April 11, 2024, 7 p.m.
seconds: 0.0
Wall: 19:00:59
Duration
00:30:00
April 11, 2024, 7:30 p.m.
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
April 11, 2024, 7 p.m.
seconds: 855.0
Wall: 19:15:14
Duration
00:30:00
April 11, 2024, 7:30 p.m.
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
2024-04-11/18_00_58.ts
2024-04-11/18_30_59.ts
2024-04-11/19_00_59.ts
Veyepar
Video Eyeball Processor and Review
