search

OctopiChalmers / dragen

Branching processes for QuickCheck generators
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link

Prediction failure #1

Open agustinmista opened 5 years ago

agustinmista commented 5 years ago

I've found a bug in the prediction mechanism with the following piece of code:

data Top    
  = RndExp RndExp
  | PatExp PatExp
  deriving (Show, Generic)

data RndExp 
  = LitExp Int    
  | AddExp Top Top 
  deriving (Show, Generic)

data PatExp 
  = Pat1 Top      
  | Pat2 Top 
  deriving (Show, Generic)

dragenArbitrary ''Top 10 uniform

I will edit this issue with the wrong results soon.