Wrap test suite of tactics plugin into tasty test tree#1676

Merged

berberman merged 3 commits intohaskell:masterfrom

berberman:tasty

Apr 7, 2021

Commits on Apr 6, 2021

Wrap test suite of tactics plugin into tasty test tree
berberman
committed

Commits on Apr 7, 2021