% --- Nondet unique,union,intersection,subtraction Operations --- properties('&corelib','unique', [nondet_sets, qhelp("Makes nondet results unique."), no_repeats_var]). properties('&corelib','subtraction', [nondet_sets, qhelp("It subtracts elements generated by Call2 from those generated by Call1."), lazy_subtraction]). properties('&corelib','intersection', [nondet_sets, qhelp("It gives the intersection duplicates are not removed ."), lazy_intersection]). properties('&corelib','union', [nondet_sets, qhelp("It gives the union of 2 list ."), lazy_union ]). % --- String and Character manipulation --- properties('&corelib','stringToChars', [string_operations, qhelp("Convert a string to a list of chars."), string_to_chars]). properties('&corelib','charsToString', [string_operations, qhelp("Convert a list of chars to a string."), chars_to_string]). properties('&corelib','format-args', [string_operations, qhelp("Generate a formatted string using a format specifier."), format_args]). properties('&corelib','flip', [random, qhelp("Return a random boolean."), random_boolean]).