2 Commits

Author	SHA1	Message	Date
Harsil Patel	9b7b96fe19	[minizinc] License header and enable bug filing MSan (#2694) ... * [minizinc] Add license header in the fuzzer and set experimental flag to False for the MemorySanitizer * Enable MSan the right way	2019-08-14 07:39:24 -07:00
Jip J. Dekker	9fed4d58cb	[minizinc] Initial Fuzzer (#2656)	2019-08-05 11:16:09 -07:00