@mflatt @samth I wonder if any of you can add something to this issue: https://gitlab.flux.utah.edu/xsmith/xsmith/-/issues/53

Particularly the comments around this one are relevant: https://gitlab.flux.utah.edu/xsmith/xsmith/-/issues/53#note_34162

I missed this thread, I will take a look at it.

I’m not sure exactly what’s going on there. Is the issue different random number sequences given the same seed?

The same seed to xsmith generates different programs between cs and bc

Pierce says the implementation of crypto-random-bytes is the same between vms.

You might not know what’s going on. I certainly don’t. But if you have any suggestions or know what could be the problem, please do comment. :slightly_smiling_face: