| Overview |  |
Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:36
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │This is PropEr's Reference Manual. If you are new to PropEr, you should │ │ │ │ first read the User Guide (available online at │ │ │ │ PropEr's website, │ │ │ │ and also in PropEr's README file). The bulk of the PropEr API is contained in │ │ │ │ the documentation for the following modules:
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,12 +1,12 @@ │ │ │ │ │ Overview [erlang_logo] │ │ │ │ │ ****** PropEr: A QuickCheck-inspired property-based testing tool for Erlang │ │ │ │ │ ****** │ │ │ │ │ Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:59 │ │ │ │ │ +Version: Jan 7 2024 18:40:36 │ │ │ │ │ Authors: Manolis Papadakis. │ │ │ │ │ This is PropEr's Reference Manual. If you are new to PropEr, you should first │ │ │ │ │ read the User Guide (available online at PropEr's_website, and also in PropEr's │ │ │ │ │ README file). The bulk of the PropEr API is contained in the documentation for │ │ │ │ │ the following modules: │ │ │ │ │ proper │ │ │ │ │ how to write properties, how to invoke PropEr, different modes of │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:14
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │This is the main PropEr module.
│ │ │ │ │ │ │ ││ │ │ │ The simplest properties that PropEr can test consist of a single boolean │ │ │ │ expression (or a statement block that returns a boolean), which is expected │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ****** Module proper ****** │ │ │ │ │ * Description │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ This is the main PropEr module. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:58 │ │ │ │ │ +Version: Jan 7 2024 18:40:14 │ │ │ │ │ Authors: Manolis Papadakis. │ │ │ │ │ ***** Description ***** │ │ │ │ │ This is the main PropEr module. │ │ │ │ │ **** How to write properties **** │ │ │ │ │ The simplest properties that PropEr can test consist of a single boolean │ │ │ │ │ expression (or a statement block that returns a boolean), which is expected to │ │ │ │ │ evaluate to true. Thus, the test true always succeeds, while the test false │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html │ │ │ │ @@ -10,15 +10,15 @@ │ │ │ │
proper_fsm behaviour, useful for testing
│ │ │ │ systems that can be modeled as finite state machines.
│ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:17
│ │ │ │Authors: Eirini Arvaniti.
│ │ │ │ │ │ │ │This module defines the proper_fsm behaviour, useful for testing
│ │ │ │ systems that can be modeled as finite state machines. That is, a finite
│ │ │ │ collection of named states and transitions between them. proper_fsm is
│ │ │ │ closely related to proper_statem and is, in fact, implemented in
│ │ │ │ terms of that. Testcases generated using proper_fsm will be on precisely
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -4,15 +4,15 @@
│ │ │ │ │ * Description
│ │ │ │ │ * Data_Types
│ │ │ │ │ * Function_Index
│ │ │ │ │ * Function_Details
│ │ │ │ │ This module defines the proper_fsm behaviour, useful for testing systems that
│ │ │ │ │ can be modeled as finite state machines.
│ │ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ │ +Version: Jan 7 2024 18:40:17
│ │ │ │ │ Authors: Eirini Arvaniti.
│ │ │ │ │ ***** Description *****
│ │ │ │ │ This module defines the proper_fsm behaviour, useful for testing systems that
│ │ │ │ │ can be modeled as finite state machines. That is, a finite collection of named
│ │ │ │ │ states and transitions between them. proper_fsm is closely related to
│ │ │ │ │ proper_statem and is, in fact, implemented in terms of that. Testcases
│ │ │ │ │ generated using proper_fsm will be on precisely the same form as testcases
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_gen.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:23
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Generator subsystem and generators for basic types.
│ │ │ │ │ │ │ │You can use these functions to try out the random │ │ │ │ instance generation and shrinking subsystems.
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ****** Module proper_gen ****** │ │ │ │ │ * Description │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Generator subsystem and generators for basic types. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:59 │ │ │ │ │ +Version: Jan 7 2024 18:40:23 │ │ │ │ │ Authors: Manolis Papadakis. │ │ │ │ │ ***** Description ***** │ │ │ │ │ Generator subsystem and generators for basic types. │ │ │ │ │ You can use these functions to try out the random instance generation and │ │ │ │ │ shrinking subsystems. │ │ │ │ │ CAUTION: These functions should never be used inside properties. They are meant │ │ │ │ │ for demonstration purposes only. │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:34
│ │ │ │Behaviours: proper_target.
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │first_next() = proper_target:tmap()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ Overview [erlang_logo] │ │ │ │ │ =============================================================================== │ │ │ │ │ ****** Module proper_sa ****** │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Copyright © 2017 Andreas Löscher and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:59 │ │ │ │ │ +Version: Jan 7 2024 18:40:34 │ │ │ │ │ Behaviours: proper_target. │ │ │ │ │ Authors: Andreas Löscher. │ │ │ │ │ ***** Data Types ***** │ │ │ │ │ **** first_next() **** │ │ │ │ │ first_next() = proper_target:tmap() │ │ │ │ │ ***** Function Index ***** │ │ │ │ │ ________________________ │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_sa_gen.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │
Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:36
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │| from_proper_generator/1 | |
| set_temperature_scaling/1 | |
| update_caches/1 |
proper_statem behaviour, useful for testing
│ │ │ │ stateful reactive systems whose internal state and side-effects are
│ │ │ │ specified via an abstract state machine.
│ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:21
│ │ │ │Authors: Eirini Arvaniti.
│ │ │ │ │ │ │ │This module defines the proper_statem behaviour, useful for testing
│ │ │ │ stateful reactive systems whose internal state and side-effects are
│ │ │ │ specified via an abstract state machine. Given a callback module
│ │ │ │ implementing the proper_statem behaviour (i.e. defining an abstract state
│ │ │ │ machine of the system under test), PropEr can generate random symbolic
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -5,15 +5,15 @@
│ │ │ │ │ * Data_Types
│ │ │ │ │ * Function_Index
│ │ │ │ │ * Function_Details
│ │ │ │ │ This module defines the proper_statem behaviour, useful for testing stateful
│ │ │ │ │ reactive systems whose internal state and side-effects are specified via an
│ │ │ │ │ abstract state machine.
│ │ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ │ +Version: Jan 7 2024 18:40:21
│ │ │ │ │ Authors: Eirini Arvaniti.
│ │ │ │ │ ***** Description *****
│ │ │ │ │ This module defines the proper_statem behaviour, useful for testing stateful
│ │ │ │ │ reactive systems whose internal state and side-effects are specified via an
│ │ │ │ │ abstract state machine. Given a callback module implementing the proper_statem
│ │ │ │ │ behaviour (i.e. defining an abstract state machine of the system under test),
│ │ │ │ │ PropEr can generate random symbolic sequences of calls to that system. As a
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_symb.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:35
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Symbolic datatypes handling functions.
│ │ │ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:57
│ │ │ │ +Version: Jan 7 2024 18:40:30
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │fitness() = number()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ Overview [erlang_logo] │ │ │ │ │ =============================================================================== │ │ │ │ │ ****** Module proper_target ****** │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Copyright © 2017 Andreas Löscher and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:57 │ │ │ │ │ +Version: Jan 7 2024 18:40:30 │ │ │ │ │ Authors: Andreas Löscher. │ │ │ │ │ ***** Data Types ***** │ │ │ │ │ **** fitness() **** │ │ │ │ │ fitness() = number() │ │ │ │ │ **** fitness_func() **** │ │ │ │ │ fitness_func() = │ │ │ │ │ fun((target_state(), fitness()) -> target_state()) │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:21
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │PROPER_NO_TRANS is defined.
│ │ │ │ Applying this transform has the following effects:
│ │ │ │ prop_ are automatically
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -1,14 +1,14 @@
│ │ │ │ │ Overview [erlang_logo]
│ │ │ │ │ ===============================================================================
│ │ │ │ │ ****** Module proper_transformer ******
│ │ │ │ │ * Description
│ │ │ │ │ PropEr's main parse transform.
│ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ │ +Version: Jan 7 2024 18:40:21
│ │ │ │ │ Authors: Manolis Papadakis.
│ │ │ │ │ ***** Description *****
│ │ │ │ │ PropEr's main parse transform. It is automatically applied to modules when
│ │ │ │ │ including the main PropEr header, unless PROPER_NO_TRANS is defined. Applying
│ │ │ │ │ this transform has the following effects:
│ │ │ │ │ * All 0-arity functions whose name begins with prop_ are automatically
│ │ │ │ │ exported.
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_types.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
│ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:26
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Type manipulation functions and predefined types.
│ │ │ │ │ │ │ ││ │ │ │ This module defines all the basic types of the PropEr type system as │ │ │ │ functions. See the function index for an overview.
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ****** Module proper_types ****** │ │ │ │ │ * Description │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Type manipulation functions and predefined types. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:58 │ │ │ │ │ +Version: Jan 7 2024 18:40:26 │ │ │ │ │ Authors: Manolis Papadakis. │ │ │ │ │ ***** Description ***** │ │ │ │ │ Type manipulation functions and predefined types. │ │ │ │ │ **** Basic types **** │ │ │ │ │ This module defines all the basic types of the PropEr type system as functions. │ │ │ │ │ See the function_index for an overview. │ │ │ │ │ Types can be combined in tuples or lists to produce other types. Exact values │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:33
│ │ │ │Behaviours: gen_server.
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Erlang type system - PropEr type system integration module.
│ │ │ │ │ │ │ │PropEr can parse types expressed in Erlang's type language and convert them │ │ │ │ to its own type format. Such expressions can be used instead of regular type │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ****** Module proper_typeserver ****** │ │ │ │ │ * Description │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Erlang type system - PropEr type system integration module. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:59 │ │ │ │ │ +Version: Jan 7 2024 18:40:33 │ │ │ │ │ Behaviours: gen_server. │ │ │ │ │ Authors: Manolis Papadakis. │ │ │ │ │ ***** Description ***** │ │ │ │ │ Erlang type system - PropEr type system integration module. │ │ │ │ │ PropEr can parse types expressed in Erlang's type language and convert them to │ │ │ │ │ its own type format. Such expressions can be used instead of regular type │ │ │ │ │ constructors in the second argument of ?FORALLs. No extra notation is required; │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │
│ │ │ │Copyright © 2014 Motiejus Jakstys
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:58
│ │ │ │ +Version: Jan 7 2024 18:40:36
│ │ │ │Authors: Motiejus Jakstys.
│ │ │ │ │ │ │ │Unicode generators for PropEr
│ │ │ │ │ │ │ │This module exposes utf8 binary generator.
│ │ │ │ │ │ │ │Makes it easy to create custom-encoded unicode binaries. For example, │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ****** Module proper_unicode ****** │ │ │ │ │ * Description │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Unicode generators for PropEr. │ │ │ │ │ Copyright © 2014 Motiejus Jakstys │ │ │ │ │ -Version: Jan 7 2024 18:24:58 │ │ │ │ │ +Version: Jan 7 2024 18:40:36 │ │ │ │ │ Authors: Motiejus Jakstys. │ │ │ │ │ ***** Description ***** │ │ │ │ │ Unicode generators for PropEr │ │ │ │ │ This module exposes utf8 binary generator. │ │ │ │ │ Makes it easy to create custom-encoded unicode binaries. For example, utf16 │ │ │ │ │ binary generator: │ │ │ │ │ utf16() -> │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │
│ │ │ │Copyright © 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Jan 7 2024 18:24:59
│ │ │ │ +Version: Jan 7 2024 18:40:24
│ │ │ │Authors: Zaiming Shi (modifications and update by Kostis Sagonas).
│ │ │ │ │ │ │ │abs_form() = erl_parse:abstract_form()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ Overview [erlang_logo] │ │ │ │ │ =============================================================================== │ │ │ │ │ ****** Module proper_unused_imports_remover ****** │ │ │ │ │ * Data_Types │ │ │ │ │ * Function_Index │ │ │ │ │ * Function_Details │ │ │ │ │ Copyright © 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -Version: Jan 7 2024 18:24:59 │ │ │ │ │ +Version: Jan 7 2024 18:40:24 │ │ │ │ │ Authors: Zaiming Shi (modifications and update by Kostis Sagonas). │ │ │ │ │ ***** Data Types ***** │ │ │ │ │ **** abs_form() **** │ │ │ │ │ abs_form() = erl_parse:abstract_form() │ │ │ │ │ ***** Function Index ***** │ │ │ │ │ __________________ │ │ │ │ │ |parse_transform/2||