search

opencompl / mlir-fuzz

A enumerator for MLIR, relying on the information given by IRDL.
16 stars 4 forks source link

Add support of "generate certain number of programs" and "customize random seed." #1

Closed Hatsunespica closed 1 year ago

Hatsunespica commented 2 years ago

Hi Mathieu,

I found there is no option for exit after certain number of programs generated and customizing random seed. I can add two command line options:

  1. -n [num], this parameter makes your program exit after correctProgramCounter > num
  2. -s [seed] This line shows you used an fixed random seed 42. I can replace it with a random value. If an user provides the seed, then problem would use the specified seed instead.

Do you think it would helpful? 0w0. Thanks! Yuyou