tree dcd33db3c4d1aaab7513333645b003910eeb5aeb
parent f2e87304e3968e2570b35ed19d5e0b866c1175da
author David Shah <dave@ds0.me> 1584125273 +0000
committer David Shah <dave@ds0.me> 1584125273 +0000

Move some more minitests to ECP5/

Signed-off-by: David Shah <dave@ds0.me>