copilot-bluespec: Update copilot-bluespec.cabal to only run tests when passed "test-bluespec" flag. Refs #673.#702
Open
chathhorn-galois wants to merge 2 commits intoCopilot-Language:masterfrom
