Imports | Exports |
---|---|
Name: time_out/3 Module: timeout Name: getrand/1 Module: random Name: setrand/1 Module: random Name: file_members_of_directory/3 Module: file_systems | Name: fuzz/3 Name: fuzz/4 Name: fuzz/6 Name: reproduce_test/4 Name: reproduce_test/5 Name: insert_identifier_to_ast/3 Name: find_integer_value/2 Name: generate/2 Name: error_occurred/0 |
Description:
fuzz(+Module:Predicate, +Arity, +Testcount, +Arguments).
Meta: fuzz(1,+,+,+)
Description:
fuzz(+Module:Predicate, +Arity, +Testcount, +Arguments, -ErrorFound).
Meta: fuzz(1,+,+,+,+,+)
Description:
generate(+Type, -Value).
error_occurred.
Description:
reproduce_test(+Module:Predicate, +Arity, +Arguments, +Seed).
Meta: reproduce_test(1,+,+,+)
Description:
reproduce_test(+Module:Predicate, +Arity, +Timeout, +Arguments, +Seed).
Meta: reproduce_test(1,+,+,+,+)