Quiz Yourself on Thinking in Properties
Solve a short quiz to test your understanding of the concepts of thinking in properties.
Quiz on the concepts of Thinking in Properties
1
The following property uses a model to validate that it works well. However, the property is failing.
prop_set_union() ->
?FORALL({ListA, ListB}, {list(number()), list(number())},
begin
SetA = sets:from_list(ListA),
SetB = sets:from_list(ListB),
ModelUnion = lists:sort(ListA ++ ListB),
lists:sort(sets:to_list(sets:union(SetA, SetB))) =:= ModelUnion
end).
Is the following statement about the code above true or false?
(True or False) “The problem is with the model. Sets don’t generally allow duplicate elements.”
A)
True
B)
False
Question 1 of 30 attempted
Get hands-on with 1200+ tech skills courses.