test:synthesis

Dependencies

• base lib:base >=4.8.1.0 && <5
• directory lib:directory >=0
• extra lib:extra >=0
• filepath lib:filepath >=0
• ghc lib:ghc >=0
• liquid-fixpoint lib:liquid-fixpoint >=0.8.10.1
• liquidhaskell lib:liquidhaskell >=0
• process lib:process >=0
• tasty lib:tasty >=0.7
• tasty-hunit lib:tasty-hunit >=0
• text lib:text >=0

Reverse dependencies

None.