Cryptol's `random` doesn't work in SAW

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

438 stars 63 forks source link

Cryptol's `random` doesn't work in SAW #347

Open weaversa opened 5 years ago

weaversa commented 5 years ago

sawscript> print {{ random 10 : [32] }}
saw: Cryptol.ecRandom is deprecated; don't use it
CallStack (from HasCallStack):
  error, called at src/Verifier/SAW/Cryptol/Prims.hs:101:38 in cryptol-verifier-0.1-4HODFmhDR44LvpcpDcnKKV:Verifier.SAW.Cryptol.Prims

robdockins commented 3 years ago

We should probably treat random as uninterpreted.