Data file in stan example models


When I use stan example models to do tests (ADVI evaluation, SBC,,), I realize some of the data are randomly generated (for example). The randomness of data generation may make it hard for comparison. Though it is easy to control randomness from the user’s side to dump the data first, I am wondering if it makes sense that a fixed random seed is added in those randomly generated data file.

Also, several data file names do not match the corresponding model names, particularly those in misc/.