| Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
| 1 | ·d4ee6441a2299563e7d142dcfc24f6ad·5520·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_arm64.deb | 1 | ·d4ee6441a2299563e7d142dcfc24f6ad·5520·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_arm64.deb |
| 2 | · | 2 | ·e5bc5b12b832a11d5f75868576b1be7a·36512·doc·optional·erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2.1_all.deb |
| 3 | ·52337250fe1e993f19c3c369f0f4017e·365068·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_arm64.deb | 3 | ·52337250fe1e993f19c3c369f0f4017e·365068·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_arm64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1200·2021-01-02·15:29:53.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1200·2021-01-02·15:29:53.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0····351 | 3 | -rw-r--r--···0········0········0····35120·2021-01-02·15:29:53.000000·data.tar.xz |
| Offset 7, 15 lines modified | Offset 7, 15 lines modified | ||
| 7 | <link·rel="stylesheet"·type="text/css"·href="stylesheet.css"·title="EDoc"> | 7 | <link·rel="stylesheet"·type="text/css"·href="stylesheet.css"·title="EDoc"> |
| 8 | </head> | 8 | </head> |
| 9 | <body·bgcolor="white"> | 9 | <body·bgcolor="white"> |
| 10 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 10 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 11 | <h1>PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang | 11 | <h1>PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang |
| 12 | </h1> | 12 | </h1> |
| 13 | <p>Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <p>This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should | 16 | <p>This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should |
| 17 | first·read·the·User·Guide·(available·online·at | 17 | first·read·the·User·Guide·(available·online·at |
| 18 | <a·href="http://proper.softlab.ntua.gr/"·target="_top">PropEr's·website</a>, | 18 | <a·href="http://proper.softlab.ntua.gr/"·target="_top">PropEr's·website</a>, |
| 19 | and·also·in·PropEr's·README·file).·The·bulk·of·the·PropEr·API·is·contained·in | 19 | and·also·in·PropEr's·README·file).·The·bulk·of·the·PropEr·API·is·contained·in |
| 20 | the·documentation·for·the·following·modules:</p> | 20 | the·documentation·for·the·following·modules:</p> |
| Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | *\x8**\x8**\x8**\x8**\x8**\x8*·P\x8Pr\x8ro\x8op\x8pE\x8Er\x8r:\x8:·A\x8A·Q\x8Qu\x8ui\x8ic\x8ck\x8kC\x8Ch\x8he\x8ec\x8ck\x8k-\x8-i\x8in\x8ns\x8sp\x8pi\x8ir\x8re\x8ed\x8d·p\x8pr\x8ro\x8op\x8pe\x8er\x8rt\x8ty\x8y-\x8-b\x8ba\x8as\x8se\x8ed\x8d·t\x8te\x8es\x8st\x8ti\x8in\x8ng\x8g·t\x8to\x8oo\x8ol\x8l·f\x8fo\x8or\x8r·E\x8Er\x8rl\x8la\x8an\x8ng\x8g | 2 | *\x8**\x8**\x8**\x8**\x8**\x8*·P\x8Pr\x8ro\x8op\x8pE\x8Er\x8r:\x8:·A\x8A·Q\x8Qu\x8ui\x8ic\x8ck\x8kC\x8Ch\x8he\x8ec\x8ck\x8k-\x8-i\x8in\x8ns\x8sp\x8pi\x8ir\x8re\x8ed\x8d·p\x8pr\x8ro\x8op\x8pe\x8er\x8rt\x8ty\x8y-\x8-b\x8ba\x8as\x8se\x8ed\x8d·t\x8te\x8es\x8st\x8ti\x8in\x8ng\x8g·t\x8to\x8oo\x8ol\x8l·f\x8fo\x8or\x8r·E\x8Er\x8rl\x8la\x8an\x8ng\x8g |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 4 | Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 5 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 5 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 6 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 6 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 7 | This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should·first | 7 | This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should·first |
| 8 | read·the·User·Guide·(available·online·at·_\x8P_\x8r_\x8o_\x8p_\x8E_\x8r_\x8'_\x8s_\x8·_\x8w_\x8e_\x8b_\x8s_\x8i_\x8t_\x8e,·and·also·in·PropEr's | 8 | read·the·User·Guide·(available·online·at·_\x8P_\x8r_\x8o_\x8p_\x8E_\x8r_\x8'_\x8s_\x8·_\x8w_\x8e_\x8b_\x8s_\x8i_\x8t_\x8e,·and·also·in·PropEr's |
| 9 | README·file).·The·bulk·of·the·PropEr·API·is·contained·in·the·documentation·for | 9 | README·file).·The·bulk·of·the·PropEr·API·is·contained·in·the·documentation·for |
| 10 | the·following·modules: | 10 | the·following·modules: |
| 11 | ··_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r | 11 | ··_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r |
| 12 | ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of | 12 | ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper</h1> | 11 | <h1>Module·proper</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·is·the·main·PropEr·module. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·is·the·main·PropEr·module. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:01</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>This·is·the·main·PropEr·module.</p> | 16 | <h2><a·name="description">Description</a></h2><p>This·is·the·main·PropEr·module.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="How_to_write_properties">How·to·write·properties</a></h3><p> | 18 | ···<h3><a·name="How_to_write_properties">How·to·write·properties</a></h3><p> |
| 19 | ···The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean | 19 | ···The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean |
| 20 | ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected | 20 | ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | This·is·the·main·PropEr·module. | 8 | This·is·the·main·PropEr·module. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:01 |
| 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 13 | This·is·the·main·PropEr·module. | 13 | This·is·the·main·PropEr·module. |
| 14 | *\x8**\x8**\x8**\x8*·H\x8Ho\x8ow\x8w·t\x8to\x8o·w\x8wr\x8ri\x8it\x8te\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8rt\x8ti\x8ie\x8es\x8s·*\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8*·H\x8Ho\x8ow\x8w·t\x8to\x8o·w\x8wr\x8ri\x8it\x8te\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8rt\x8ti\x8ie\x8es\x8s·*\x8**\x8**\x8**\x8* |
| 15 | The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean | 15 | The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean |
| 16 | expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected·to | 16 | expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected·to |
| 17 | evaluate·to·true.·Thus,·the·test·true·always·succeeds,·while·the·test·false | 17 | evaluate·to·true.·Thus,·the·test·true·always·succeeds,·while·the·test·false |
| Offset 10, 15 lines modified | Offset 10, 15 lines modified | ||
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_fsm</h1> | 11 | <h1>Module·proper_fsm</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing |
| 13 | ···systems·that·can·be·modeled·as·finite·state·machines. | 13 | ···systems·that·can·be·modeled·as·finite·state·machines. |
| 14 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 14 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 15 | <p><b>Version:</b>· | 15 | <p><b>Version:</b>·Dec·8·2025·20:11:01</p> |
| 16 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> | 16 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> |
| 17 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing | 17 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing |
| 18 | ···systems·that·can·be·modeled·as·finite·state·machines.·That·is,·a·finite | 18 | ···systems·that·can·be·modeled·as·finite·state·machines.·That·is,·a·finite |
| 19 | ···collection·of·named·states·and·transitions·between·them.·<code>proper_fsm</code>·is | 19 | ···collection·of·named·states·and·transitions·between·them.·<code>proper_fsm</code>·is |
| 20 | ···closely·related·to·<a·docgen-rel="seeerl"·docgen-href="proper_statem"·href="proper_statem.html"><code>proper_statem</code></a>·and·is,·in·fact,·implemented·in | 20 | ···closely·related·to·<a·docgen-rel="seeerl"·docgen-href="proper_statem"·href="proper_statem.html"><code>proper_statem</code></a>·and·is,·in·fact,·implemented·in |
| 21 | ···terms·of·that.·Testcases·generated·using·<code>proper_fsm</code>·will·be·on·precisely | 21 | ···terms·of·that.·Testcases·generated·using·<code>proper_fsm</code>·will·be·on·precisely |
| Offset 4, 15 lines modified | Offset 4, 15 lines modified | ||
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that | 8 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that |
| 9 | can·be·modeled·as·finite·state·machines. | 9 | can·be·modeled·as·finite·state·machines. |
| 10 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 10 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 11 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 11 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:01 |
| 12 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Eirini·Arvaniti. | 12 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Eirini·Arvaniti. |
| 13 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 13 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 14 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that | 14 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that |
| 15 | can·be·modeled·as·finite·state·machines.·That·is,·a·finite·collection·of·named | 15 | can·be·modeled·as·finite·state·machines.·That·is,·a·finite·collection·of·named |
| 16 | states·and·transitions·between·them.·proper_fsm·is·closely·related·to | 16 | states·and·transitions·between·them.·proper_fsm·is·closely·related·to |
| 17 | _\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8m·and·is,·in·fact,·implemented·in·terms·of·that.·Testcases | 17 | _\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8m·and·is,·in·fact,·implemented·in·terms·of·that.·Testcases |
| 18 | generated·using·proper_fsm·will·be·on·precisely·the·same·form·as·testcases | 18 | generated·using·proper_fsm·will·be·on·precisely·the·same·form·as·testcases |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_gen</h1> | 11 | <h1>Module·proper_gen</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Generator·subsystem·and·generators·for·basic·types. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Generator·subsystem·and·generators·for·basic·types. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:01</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Generator·subsystem·and·generators·for·basic·types.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Generator·subsystem·and·generators·for·basic·types.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<p>You·can·use·<a·href="#index">these</a>·functions·to·try·out·the·random··· | 18 | ···<p>You·can·use·<a·href="#index">these</a>·functions·to·try·out·the·random··· |
| 19 | instance·generation·and·shrinking·subsystems.</p> | 19 | instance·generation·and·shrinking·subsystems.</p> |
| 20 | ·· | 20 | ·· |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_g\x8ge\x8en\x8n·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_g\x8ge\x8en\x8n·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | Generator·subsystem·and·generators·for·basic·types. | 8 | Generator·subsystem·and·generators·for·basic·types. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:01 |
| 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 13 | Generator·subsystem·and·generators·for·basic·types. | 13 | Generator·subsystem·and·generators·for·basic·types. |
| 14 | You·can·use·_\x8t_\x8h_\x8e_\x8s_\x8e·functions·to·try·out·the·random·instance·generation·and | 14 | You·can·use·_\x8t_\x8h_\x8e_\x8s_\x8e·functions·to·try·out·the·random·instance·generation·and |
| 15 | shrinking·subsystems. | 15 | shrinking·subsystems. |
| 16 | CAUTION:·These·functions·should·never·be·used·inside·properties.·They·are·meant | 16 | CAUTION:·These·functions·should·never·be·used·inside·properties.·They·are·meant |
| 17 | for·demonstration·purposes·only. | 17 | for·demonstration·purposes·only. |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_sa</h1> | 11 | <h1>Module·proper_sa</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:01</p> |
| 15 | <p><b>Behaviours:</b>·<a·href="proper_target.html"><tt>proper_target</tt></a>.</p> | 15 | <p><b>Behaviours:</b>·<a·href="proper_target.html"><tt>proper_target</tt></a>.</p> |
| 16 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 16 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 17 | <h2><a·name="types">Data·Types</a></h2> | 17 | <h2><a·name="types">Data·Types</a></h2> |
| 18 | <h3·class="typedecl"><a·name="type-first_next">first_next()</a></h3> | 18 | <h3·class="typedecl"><a·name="type-first_next">first_next()</a></h3> |
| 19 | <p><pre>first_next()·=·<a·href="proper_target.html#type-tmap">proper_target:tmap()</a></pre></p> | 19 | <p><pre>first_next()·=·<a·href="proper_target.html#type-tmap">proper_target:tmap()</a></pre></p> |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sa\x8a·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sa\x8a·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:01 |
| 9 | B\x8Be\x8eh\x8ha\x8av\x8vi\x8io\x8ou\x8ur\x8rs\x8s:\x8:·_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8t_\x8a_\x8r_\x8g_\x8e_\x8t. | 9 | B\x8Be\x8eh\x8ha\x8av\x8vi\x8io\x8ou\x8ur\x8rs\x8s:\x8:·_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8t_\x8a_\x8r_\x8g_\x8e_\x8t. |
| 10 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. | 10 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. |
| 11 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* | 11 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* |
| 12 | *\x8**\x8**\x8**\x8*·f\x8fi\x8ir\x8rs\x8st\x8t_\x8_n\x8ne\x8ex\x8xt\x8t(\x8()\x8)·*\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8*·f\x8fi\x8ir\x8rs\x8st\x8t_\x8_n\x8ne\x8ex\x8xt\x8t(\x8()\x8)·*\x8**\x8**\x8**\x8* |
| 13 | first_next()·=·_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8:_\x8t_\x8m_\x8a_\x8p_\x8(_\x8) | 13 | first_next()·=·_\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8:_\x8t_\x8m_\x8a_\x8p_\x8(_\x8) |
| 14 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* |
| 15 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· | 15 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_sa_gen</h1> | 11 | <h1>Module·proper_sa_gen</h1> |
| 12 | <ul·class="index"><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:01</p> |
| 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 16 | <h2><a·name="index">Function·Index</a></h2> | 16 | <h2><a·name="index">Function·Index</a></h2> |
| 17 | <table·width="100%"·border="1"·cellspacing="0"·cellpadding="2"·summary="function·index"><tr><td·valign="top"><a·href="#from_proper_generator-1">from_proper_generator/1</a></td><td></td></tr> | 17 | <table·width="100%"·border="1"·cellspacing="0"·cellpadding="2"·summary="function·index"><tr><td·valign="top"><a·href="#from_proper_generator-1">from_proper_generator/1</a></td><td></td></tr> |
| 18 | <tr><td·valign="top"><a·href="#set_temperature_scaling-1">set_temperature_scaling/1</a></td><td></td></tr> | 18 | <tr><td·valign="top"><a·href="#set_temperature_scaling-1">set_temperature_scaling/1</a></td><td></td></tr> |
| 19 | <tr><td·valign="top"><a·href="#update_caches-1">update_caches/1</a></td><td></td></tr> | 19 | <tr><td·valign="top"><a·href="#update_caches-1">update_caches/1</a></td><td></td></tr> |
| 20 | </table> | 20 | </table> |
| Offset 1, 14 lines modified | Offset 1, 14 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sa\x8a_\x8_g\x8ge\x8en\x8n·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sa\x8a_\x8_g\x8ge\x8en\x8n·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 4 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 6 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 6 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 7 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 7 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:01 |
| 8 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. | 8 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. |
| 9 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* | 9 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* |
| 10 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· | 10 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· |
| 11 | |_\x8f_\x8r_\x8o_\x8m_\x8__\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8g_\x8e_\x8n_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8/_\x81_\x8·_\x8·_\x8|| | 11 | |_\x8f_\x8r_\x8o_\x8m_\x8__\x8p_\x8r_\x8o_\x8p_\x8e_\x8r_\x8__\x8g_\x8e_\x8n_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8/_\x81_\x8·_\x8·_\x8|| |
| 12 | |_\x8s_\x8e_\x8t_\x8__\x8t_\x8e_\x8m_\x8p_\x8e_\x8r_\x8a_\x8t_\x8u_\x8r_\x8e_\x8__\x8s_\x8c_\x8a_\x8l_\x8i_\x8n_\x8g_\x8/_\x81_\x8|| | 12 | |_\x8s_\x8e_\x8t_\x8__\x8t_\x8e_\x8m_\x8p_\x8e_\x8r_\x8a_\x8t_\x8u_\x8r_\x8e_\x8__\x8s_\x8c_\x8a_\x8l_\x8i_\x8n_\x8g_\x8/_\x81_\x8|| |
| 13 | |_\x8u_\x8p_\x8d_\x8a_\x8t_\x8e_\x8__\x8c_\x8a_\x8c_\x8h_\x8e_\x8s_\x8/_\x81_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8|| | 13 | |_\x8u_\x8p_\x8d_\x8a_\x8t_\x8e_\x8__\x8c_\x8a_\x8c_\x8h_\x8e_\x8s_\x8/_\x81_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8|| |
| 14 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·D\x8De\x8et\x8ta\x8ai\x8il\x8ls\x8s·*\x8**\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·D\x8De\x8et\x8ta\x8ai\x8il\x8ls\x8s·*\x8**\x8**\x8**\x8**\x8* |
| Offset 11, 15 lines modified | Offset 11, 15 lines modified | ||
| 11 | <h1>Module·proper_statem</h1> | 11 | <h1>Module·proper_statem</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing |
| 13 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are | 13 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are |
| 14 | ···specified·via·an·abstract·state·machine. | 14 | ···specified·via·an·abstract·state·machine. |
| 15 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 15 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 16 | <p><b>Version:</b>· | 16 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 17 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> | 17 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> |
| 18 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing | 18 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing |
| 19 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are | 19 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are |
| 20 | ···specified·via·an·abstract·state·machine.·Given·a·callback·module | 20 | ···specified·via·an·abstract·state·machine.·Given·a·callback·module |
| 21 | ···implementing·the·<code>proper_statem</code>·behaviour·(i.e.·defining·an·abstract·state··· | 21 | ···implementing·the·<code>proper_statem</code>·behaviour·(i.e.·defining·an·abstract·state··· |
| 22 | machine·of·the·system·under·test),·PropEr·can·generate·random·symbolic··· | 22 | machine·of·the·system·under·test),·PropEr·can·generate·random·symbolic··· |
| Offset 5, 15 lines modified | Offset 5, 15 lines modified | ||
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful | 8 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful |
| 9 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an | 9 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an |
| 10 | abstract·state·machine. | 10 | abstract·state·machine. |
| 11 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 11 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 12 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 12 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 13 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Eirini·Arvaniti. | 13 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Eirini·Arvaniti. |
| 14 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 15 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful | 15 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful |
| 16 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an | 16 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an |
| 17 | abstract·state·machine.·Given·a·callback·module·implementing·the·proper_statem | 17 | abstract·state·machine.·Given·a·callback·module·implementing·the·proper_statem |
| 18 | behaviour·(i.e.·defining·an·abstract·state·machine·of·the·system·under·test), | 18 | behaviour·(i.e.·defining·an·abstract·state·machine·of·the·system·under·test), |
| 19 | PropEr·can·generate·random·symbolic·sequences·of·calls·to·that·system.·As·a | 19 | PropEr·can·generate·random·symbolic·sequences·of·calls·to·that·system.·As·a |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_symb</h1> | 11 | <h1>Module·proper_symb</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Symbolic·datatypes·handling·functions. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Symbolic·datatypes·handling·functions. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Symbolic·datatypes·handling·functions.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Symbolic·datatypes·handling·functions.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="Symbolic_datatypes">Symbolic·datatypes</a></h3> | 18 | ···<h3><a·name="Symbolic_datatypes">Symbolic·datatypes</a></h3> |
| 19 | ···When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or | 19 | ···When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or |
| 20 | ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal | 20 | ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sy\x8ym\x8mb\x8b·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_s\x8sy\x8ym\x8mb\x8b·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | Symbolic·datatypes·handling·functions. | 8 | Symbolic·datatypes·handling·functions. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 13 | Symbolic·datatypes·handling·functions. | 13 | Symbolic·datatypes·handling·functions. |
| 14 | *\x8**\x8**\x8**\x8*·S\x8Sy\x8ym\x8mb\x8bo\x8ol\x8li\x8ic\x8c·d\x8da\x8at\x8ta\x8at\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8*·S\x8Sy\x8ym\x8mb\x8bo\x8ol\x8li\x8ic\x8c·d\x8da\x8at\x8ta\x8at\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8* |
| 15 | When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or | 15 | When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or |
| 16 | sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal | 16 | sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal |
| 17 | representation·directly.·Working,·instead,·with·a·symbolic·representation·of | 17 | representation·directly.·Working,·instead,·with·a·symbolic·representation·of |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_target</h1> | 11 | <h1>Module·proper_target</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 16 | <h2><a·name="types">Data·Types</a></h2> | 16 | <h2><a·name="types">Data·Types</a></h2> |
| 17 | <h3·class="typedecl"><a·name="type-fitness">fitness()</a></h3> | 17 | <h3·class="typedecl"><a·name="type-fitness">fitness()</a></h3> |
| 18 | <p><pre>fitness()·=·number()</pre></p> | 18 | <p><pre>fitness()·=·number()</pre></p> |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ta\x8ar\x8rg\x8ge\x8et\x8t·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ta\x8ar\x8rg\x8ge\x8et\x8t·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 9 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. | 9 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Andreas·Löscher. |
| 10 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* | 10 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* |
| 11 | *\x8**\x8**\x8**\x8*·f\x8fi\x8it\x8tn\x8ne\x8es\x8ss\x8s(\x8()\x8)·*\x8**\x8**\x8**\x8* | 11 | *\x8**\x8**\x8**\x8*·f\x8fi\x8it\x8tn\x8ne\x8es\x8ss\x8s(\x8()\x8)·*\x8**\x8**\x8**\x8* |
| 12 | fitness()·=·number() | 12 | fitness()·=·number() |
| 13 | *\x8**\x8**\x8**\x8*·f\x8fi\x8it\x8tn\x8ne\x8es\x8ss\x8s_\x8_f\x8fu\x8un\x8nc\x8c(\x8()\x8)·*\x8**\x8**\x8**\x8* | 13 | *\x8**\x8**\x8**\x8*·f\x8fi\x8it\x8tn\x8ne\x8es\x8ss\x8s_\x8_f\x8fu\x8un\x8nc\x8c(\x8()\x8)·*\x8**\x8**\x8**\x8* |
| 14 | fitness_func()·= | 14 | fitness_func()·= |
| 15 | ····fun((_\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8(_\x8),·_\x8f_\x8i_\x8t_\x8n_\x8e_\x8s_\x8s_\x8(_\x8))·->·_\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8(_\x8)) | 15 | ····fun((_\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8(_\x8),·_\x8f_\x8i_\x8t_\x8n_\x8e_\x8s_\x8s_\x8(_\x8))·->·_\x8t_\x8a_\x8r_\x8g_\x8e_\x8t_\x8__\x8s_\x8t_\x8a_\x8t_\x8e_\x8(_\x8)) |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_transformer</h1> | 11 | <h1>Module·proper_transformer</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li></ul>PropEr's·main·parse·transform. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li></ul>PropEr's·main·parse·transform. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2>PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules | 16 | <h2><a·name="description">Description</a></h2>PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules |
| 17 | ···when·including·the·main·PropEr·header,·unless·<code>PROPER_NO_TRANS</code>·is·defined. | 17 | ···when·including·the·main·PropEr·header,·unless·<code>PROPER_NO_TRANS</code>·is·defined. |
| 18 | ···Applying·this·transform·has·the·following·effects: | 18 | ···Applying·this·transform·has·the·following·effects: |
| 19 | ···<ul> | 19 | ···<ul> |
| 20 | ···<li>All·0-arity·functions·whose·name·begins·with·<code>prop_</code>·are·automatically | 20 | ···<li>All·0-arity·functions·whose·name·begins·with·<code>prop_</code>·are·automatically |
| Offset 1, 14 lines modified | Offset 1, 14 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8tr\x8ra\x8an\x8ns\x8sf\x8fo\x8or\x8rm\x8me\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8tr\x8ra\x8an\x8ns\x8sf\x8fo\x8or\x8rm\x8me\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | PropEr's·main·parse·transform. | 5 | PropEr's·main·parse·transform. |
| 6 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 6 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 7 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 7 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 8 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 8 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 9 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 9 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 10 | PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules·when | 10 | PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules·when |
| 11 | including·the·main·PropEr·header,·unless·PROPER_NO_TRANS·is·defined.·Applying | 11 | including·the·main·PropEr·header,·unless·PROPER_NO_TRANS·is·defined.·Applying |
| 12 | this·transform·has·the·following·effects: | 12 | this·transform·has·the·following·effects: |
| 13 | ····*·All·0-arity·functions·whose·name·begins·with·prop_·are·automatically | 13 | ····*·All·0-arity·functions·whose·name·begins·with·prop_·are·automatically |
| 14 | ······exported. | 14 | ······exported. |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_types</h1> | 11 | <h1>Module·proper_types</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Type·manipulation·functions·and·predefined·types. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Type·manipulation·functions·and·predefined·types. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Type·manipulation·functions·and·predefined·types.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Type·manipulation·functions·and·predefined·types.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="Basic_types">Basic·types</a></h3><p> | 18 | ···<h3><a·name="Basic_types">Basic·types</a></h3><p> |
| 19 | ···This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as | 19 | ···This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as |
| 20 | ···functions.·See·the·<a·href="#index">function·index</a>·for·an·overview.</p> | 20 | ···functions.·See·the·<a·href="#index">function·index</a>·for·an·overview.</p> |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | Type·manipulation·functions·and·predefined·types. | 8 | Type·manipulation·functions·and·predefined·types. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 13 | Type·manipulation·functions·and·predefined·types. | 13 | Type·manipulation·functions·and·predefined·types. |
| 14 | *\x8**\x8**\x8**\x8*·B\x8Ba\x8as\x8si\x8ic\x8c·t\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8* | 14 | *\x8**\x8**\x8**\x8*·B\x8Ba\x8as\x8si\x8ic\x8c·t\x8ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8* |
| 15 | This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as·functions. | 15 | This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as·functions. |
| 16 | See·the·_\x8f_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8i_\x8n_\x8d_\x8e_\x8x·for·an·overview. | 16 | See·the·_\x8f_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8i_\x8n_\x8d_\x8e_\x8x·for·an·overview. |
| 17 | Types·can·be·combined·in·tuples·or·lists·to·produce·other·types.·Exact·values | 17 | Types·can·be·combined·in·tuples·or·lists·to·produce·other·types.·Exact·values |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_typeserver</h1> | 11 | <h1>Module·proper_typeserver</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Erlang·type·system·-·PropEr·type·system·integration·module. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Erlang·type·system·-·PropEr·type·system·integration·module. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Behaviours:</b>·<a·href="gen_server.html"><tt>gen_server</tt></a>.</p> | 15 | <p><b>Behaviours:</b>·<a·href="gen_server.html"><tt>gen_server</tt></a>.</p> |
| 16 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 16 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 17 | <h2><a·name="description">Description</a></h2><p>Erlang·type·system·-·PropEr·type·system·integration·module.</p> | 17 | <h2><a·name="description">Description</a></h2><p>Erlang·type·system·-·PropEr·type·system·integration·module.</p> |
| 18 | ·· | 18 | ·· |
| 19 | ···<p>PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them | 19 | ···<p>PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them |
| 20 | ···to·its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type | 20 | ···to·its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ty\x8yp\x8pe\x8es\x8se\x8er\x8rv\x8ve\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_t\x8ty\x8yp\x8pe\x8es\x8se\x8er\x8rv\x8ve\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | Erlang·type·system·-·PropEr·type·system·integration·module. | 8 | Erlang·type·system·-·PropEr·type·system·integration·module. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 11 | B\x8Be\x8eh\x8ha\x8av\x8vi\x8io\x8ou\x8ur\x8rs\x8s:\x8:·_\x8g_\x8e_\x8n_\x8__\x8s_\x8e_\x8r_\x8v_\x8e_\x8r. | 11 | B\x8Be\x8eh\x8ha\x8av\x8vi\x8io\x8ou\x8ur\x8rs\x8s:\x8:·_\x8g_\x8e_\x8n_\x8__\x8s_\x8e_\x8r_\x8v_\x8e_\x8r. |
| 12 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. | 12 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Manolis·Papadakis. |
| 13 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 13 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 14 | Erlang·type·system·-·PropEr·type·system·integration·module. | 14 | Erlang·type·system·-·PropEr·type·system·integration·module. |
| 15 | PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them·to | 15 | PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them·to |
| 16 | its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type | 16 | its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type |
| 17 | constructors·in·the·second·argument·of·?FORALLs.·No·extra·notation·is·required; | 17 | constructors·in·the·second·argument·of·?FORALLs.·No·extra·notation·is·required; |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_unicode</h1> | 11 | <h1>Module·proper_unicode</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Unicode·generators·for·PropEr. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Unicode·generators·for·PropEr. |
| 13 | <p>Copyright·©·2014·Motiejus·Jakstys</p> | 13 | <p>Copyright·©·2014·Motiejus·Jakstys</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Motiejus·Jakstys.</p> | 15 | <p><b>Authors:</b>·Motiejus·Jakstys.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Unicode·generators·for·PropEr</p> | 16 | <h2><a·name="description">Description</a></h2><p>Unicode·generators·for·PropEr</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<p>This·module·exposes·utf8·binary·generator.</p> | 18 | ···<p>This·module·exposes·utf8·binary·generator.</p> |
| 19 | ·· | 19 | ·· |
| 20 | ···<p>Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,··· | 20 | ···<p>Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,··· |
| Offset 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_u\x8un\x8ni\x8ic\x8co\x8od\x8de\x8e·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_u\x8un\x8ni\x8ic\x8co\x8od\x8de\x8e·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n | 4 | ····*·_\x8D_\x8e_\x8s_\x8c_\x8r_\x8i_\x8p_\x8t_\x8i_\x8o_\x8n |
| 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 5 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 7 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 8 | Unicode·generators·for·PropEr. | 8 | Unicode·generators·for·PropEr. |
| 9 | Copyright·©·2014·Motiejus·Jakstys | 9 | Copyright·©·2014·Motiejus·Jakstys |
| 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 10 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Motiejus·Jakstys. | 11 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Motiejus·Jakstys. |
| 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* | 12 | *\x8**\x8**\x8**\x8**\x8*·D\x8De\x8es\x8sc\x8cr\x8ri\x8ip\x8pt\x8ti\x8io\x8on\x8n·*\x8**\x8**\x8**\x8**\x8* |
| 13 | Unicode·generators·for·PropEr | 13 | Unicode·generators·for·PropEr |
| 14 | This·module·exposes·utf8·binary·generator. | 14 | This·module·exposes·utf8·binary·generator. |
| 15 | Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,·utf16 | 15 | Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,·utf16 |
| 16 | binary·generator: | 16 | binary·generator: |
| 17 | ···utf16()·-> | 17 | ···utf16()·-> |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_unused_imports_remover</h1> | 11 | <h1>Module·proper_unused_imports_remover</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>· | 14 | <p><b>Version:</b>·Dec·8·2025·20:11:02</p> |
| 15 | <p><b>Authors:</b>·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas).</p> | 15 | <p><b>Authors:</b>·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas).</p> |
| 16 | <h2><a·name="types">Data·Types</a></h2> | 16 | <h2><a·name="types">Data·Types</a></h2> |
| 17 | <h3·class="typedecl"><a·name="type-abs_form">abs_form()</a></h3> | 17 | <h3·class="typedecl"><a·name="type-abs_form">abs_form()</a></h3> |
| 18 | <p><pre>abs_form()·=·<a·href="http://www.erlang.org/edoc/doc/stdlib/doc/erl_parse.html#type-abstract_form">erl_parse:abstract_form()</a></pre></p> | 18 | <p><pre>abs_form()·=·<a·href="http://www.erlang.org/edoc/doc/stdlib/doc/erl_parse.html#type-abstract_form">erl_parse:abstract_form()</a></pre></p> |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] | 1 | _\x8O_\x8v_\x8e_\x8r_\x8v_\x8i_\x8e_\x8w·_\x8[_\x8e_\x8r_\x8l_\x8a_\x8n_\x8g_\x8·_\x8l_\x8o_\x8g_\x8o_\x8] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_u\x8un\x8nu\x8us\x8se\x8ed\x8d_\x8_i\x8im\x8mp\x8po\x8or\x8rt\x8ts\x8s_\x8_r\x8re\x8em\x8mo\x8ov\x8ve\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* | 3 | *\x8**\x8**\x8**\x8**\x8**\x8*·M\x8Mo\x8od\x8du\x8ul\x8le\x8e·p\x8pr\x8ro\x8op\x8pe\x8er\x8r_\x8_u\x8un\x8nu\x8us\x8se\x8ed\x8d_\x8_i\x8im\x8mp\x8po\x8or\x8rt\x8ts\x8s_\x8_r\x8re\x8em\x8mo\x8ov\x8ve\x8er\x8r·*\x8**\x8**\x8**\x8**\x8**\x8* |
| 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s | 4 | ····*·_\x8D_\x8a_\x8t_\x8a_\x8·_\x8T_\x8y_\x8p_\x8e_\x8s |
| 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x | 5 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8I_\x8n_\x8d_\x8e_\x8x |
| 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s | 6 | ····*·_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8·_\x8D_\x8e_\x8t_\x8a_\x8i_\x8l_\x8s |
| 7 | Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 7 | Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:· | 8 | V\x8Ve\x8er\x8rs\x8si\x8io\x8on\x8n:\x8:·Dec·8·2025·20:11:02 |
| 9 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas). | 9 | A\x8Au\x8ut\x8th\x8ho\x8or\x8rs\x8s:\x8:·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas). |
| 10 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* | 10 | *\x8**\x8**\x8**\x8**\x8*·D\x8Da\x8at\x8ta\x8a·T\x8Ty\x8yp\x8pe\x8es\x8s·*\x8**\x8**\x8**\x8**\x8* |
| 11 | *\x8**\x8**\x8**\x8*·a\x8ab\x8bs\x8s_\x8_f\x8fo\x8or\x8rm\x8m(\x8()\x8)·*\x8**\x8**\x8**\x8* | 11 | *\x8**\x8**\x8**\x8*·a\x8ab\x8bs\x8s_\x8_f\x8fo\x8or\x8rm\x8m(\x8()\x8)·*\x8**\x8**\x8**\x8* |
| 12 | abs_form()·=·_\x8e_\x8r_\x8l_\x8__\x8p_\x8a_\x8r_\x8s_\x8e_\x8:_\x8a_\x8b_\x8s_\x8t_\x8r_\x8a_\x8c_\x8t_\x8__\x8f_\x8o_\x8r_\x8m_\x8(_\x8) | 12 | abs_form()·=·_\x8e_\x8r_\x8l_\x8__\x8p_\x8a_\x8r_\x8s_\x8e_\x8:_\x8a_\x8b_\x8s_\x8t_\x8r_\x8a_\x8c_\x8t_\x8__\x8f_\x8o_\x8r_\x8m_\x8(_\x8) |
| 13 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* | 13 | *\x8**\x8**\x8**\x8**\x8*·F\x8Fu\x8un\x8nc\x8ct\x8ti\x8io\x8on\x8n·I\x8In\x8nd\x8de\x8ex\x8x·*\x8**\x8**\x8**\x8**\x8* |
| 14 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· | 14 | ·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8·_\x8· |
| 15 | |_\x8p_\x8a_\x8r_\x8s_\x8e_\x8__\x8t_\x8r_\x8a_\x8n_\x8s_\x8f_\x8o_\x8r_\x8m_\x8/_\x82_\x8|| | 15 | |_\x8p_\x8a_\x8r_\x8s_\x8e_\x8__\x8t_\x8r_\x8a_\x8n_\x8s_\x8f_\x8o_\x8r_\x8m_\x8/_\x82_\x8|| |