| Overview |  |
Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ -Version: Jan 2 2021 16:13:06
│ │ │ +Version: Oct 7 2021 23:25: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:
│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │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 │ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:36
│ │ │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
│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │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.
│ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ -Version: Jan 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:36
│ │ │Behaviours: proper_target.
│ │ │Authors: Andreas Löscher.
│ │ │ │ │ │first_next() = proper_target:tmap()│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25: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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │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
│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │Symbolic datatypes handling functions.
│ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ -Version: Jan 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │Authors: Andreas Löscher.
│ │ │ │ │ │fitness() = number()│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │PROPER_NO_TRANS is defined.
│ │ │ Applying this transform has the following effects:
│ │ │ prop_ are automatically
│ │ ├── ./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 2 2021 16:13:05
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │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.
│ │ ├── ./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 2 2021 16:13:06
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │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 │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html │ │ │ @@ -9,15 +9,15 @@ │ │ │
│ │ │Copyright © 2014 Motiejus Jakstys
│ │ │ │ │ │ -Version: Jan 2 2021 16:13:06
│ │ │ +Version: Oct 7 2021 23:25: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, │ │ ├── ./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 2 2021 16:13:06
│ │ │ +Version: Oct 7 2021 23:25:35
│ │ │Authors: Zaiming Shi (modifications and update by Kostis Sagonas).
│ │ │ │ │ │abs_form() = erl_parse:abstract_form()