Skip to content

Instantly share code, notes, and snippets.

@voila

voila/prop_delete2.erl

Created December 4, 2013 03:09
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save voila/7781731 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save voila/7781731 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prop_delete2.erl
%% same property but we want to see how often X belongs to L
prop_delete2() ->
?FORALL({X,L},
{integer(), list(integer())},
collect(lists:member(X, L), %% does X belongs to L ?
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