Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@voila

voila/duplist.erl

Last active December 30, 2015 05:49
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 voila/7784985 to your computer and use it in GitHub Desktop.
Save voila/7784985 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
duplist.erl
%% custom generator for lists of duplicates
duplist(Type) ->
?LET(L,list(Type),
L ++ L).
prop_delete6() ->
?FORALL({X,L},
{integer(), duplist(integer())}, %% our custom generator
collect({X, L}, %% show us the X and L generated
not lists:member(X, delete_all(X, L)))).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment