Skip to content

Instantly share code, notes, and snippets.

@voila

voila/prop_delete3.erl

Created December 4, 2013 03:35
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save voila/7781928 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prop_delete3.erl
%% Pick X from L's elements
prop_delete3() ->
?FORALL(L,
list(integer()),
?IMPLIES(L /= [], %% rejects empty lists
?FORALL(X, elements(L), %% X always 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