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