4 commits

Author	SHA1	Message	Date
Erin	c4e062e742	Increased timeout	2023-07-26 02:30:22 +02:00
Erin	bdda987da9	BMC is now interruptable	2023-07-26 02:04:26 +02:00
Erin	6588837769	restruct + no-alloc support	2023-07-26 01:11:21 +02:00
Erin	f2ec9a3034	Added fuzzy tests	2023-07-26 01:01:53 +02:00