mirror of
https://github.com/github/semantic.git
synced 2024-12-01 00:33:59 +03:00
Test Source properties with LeanCheck.
This commit is contained in:
parent
0ce897db17
commit
e03c8abb69
@ -6,7 +6,7 @@ import Range
|
||||
import Source
|
||||
import SourceSpan
|
||||
import Test.Hspec
|
||||
import Test.Hspec.QuickCheck
|
||||
import Test.Hspec.LeanCheck
|
||||
|
||||
spec :: Spec
|
||||
spec = parallel $ do
|
||||
|
Loading…
Reference in New Issue
Block a user