GitHub repository: m-alvarez/scher
Primary language: Haskell
Created: 2015-05-14T03:44:16Z
Description: A concolic testing framework for Haskell