-- user config for rand-sig.lua:
minargs = 0
maxargs = 64
ncases = 400
types = "BcsijlCSIJLpfd"
seed = 2342
-- user config for rand-sig.lua:
minargs = 0
maxargs = 64
ncases = 400
types = "BcsijlCSIJLpfd"
seed = 2342