pocmatos
2021-5-4 08:30:31
ah yes, that’s probably right. :slightly_smiling_face:
samth
2021-5-4 17:40:39
Is there a way to run just one particular .ms file?
mflatt
2021-5-4 20:59:24
In <machine>/mats, make <http://7.mo\|7.mo> will run <http://7.ms\|7.ms>
mflatt
2021-5-4 21:00:20
I didn’t see your question earlier, but I’ve been adding information about tests to IMPLEMENTATION.md, and I’ll push soon.