import LockedPollSpec 
import Test.Tasty

main :: IO ()
main = defaultMain tests