4 Commits

Author	SHA1	Message	Date
Willem Melching	a0a1ed0cbc	update test fuzzy	2021-05-06 19:27:58 +02:00
Willem Melching	b2b7cb387a	hypothesis: only generating valid data works better for test case reduction	2021-05-05 18:20:14 +02:00
Willem Melching	0c29adcc76	hypothesis: speed up test case reduction	2021-05-05 18:06:37 +02:00
Willem Melching	33edb62967	hypothesis fuzz testing (#20818) ... * add hypothesis testing * cleanup * some cleanup * check for infinity too * one-liner * add more fields that are used * no print * add locationd testing * sensor timestamp is signed * recursive finite checking * keep locationd inputs finite for now * specify proces name on command line * increase timeout and add raw speed * abstract runner in function * add unittest class	2021-05-05 13:25:29 +02:00