[CakeML-dev] How much RAM?

Magnus Myreen magnus.myreen at gmail.com
Tue Mar 14 09:04:16 UTC 2017


Hi all,

How much RAM is required or desirable for running CakeML regression tests?

I know that 64 GB is enough. Can one run them in reasonable time with
less? Does having more help at the moment?

Cheers,
Magnus



More information about the Developers mailing list