Only under the following conditions: 1) your platform has an integer size that is not 4 bytes, and 2) The random program ends with this line: “FYI: the random generator makes assumptions about the integer size…” Csmith doesn’t make assumptions about pointer size currently. -Xuejun Should we start providing platform.info with bug reports, since it influences the generation of programs? Here's mine: integer size = 4 pointer size = 8 Pascal |