Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/prop_optimize_eval.hs

Last active February 12, 2017 14:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/e3d309ae069be124d57d971ce01c30f2 to your computer and use it in GitHub Desktop.
Save deque-blog/e3d309ae069be124d57d971ce01c30f2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prop_optimize_eval.hs
prop_optimize_eval :: Expr -> Property
prop_optimize_eval e =
forAll genTotalEnv $ \env ->
eval env e == eval env (optimize e)
quickCheck prop_optimize_eval
> +++ OK, passed 100 tests.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment