Right now the test suite imports the Types module due to STUPIDITY (but necessity). That module has taken on some dependency baggage that doesn't play nicely with the test suite. Moving the tactics naming stuff to its own module and importing that instead will fix it.
Right now the test suite imports the Types module due to STUPIDITY (but necessity). That module has taken on some dependency baggage that doesn't play nicely with the test suite. Moving the tactics naming stuff to its own module and importing that instead will fix it.