معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

A QuickCheck-inspired property-based testing tool for Erlang

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p10
مخزن	ALTLinux classic noarch
نام بسته	erlang-proper
نام فایل بسته	erlang-proper-1.4-alt1.noarch.rpm
نسخه بسته	1.4
انتشار بسته	alt1
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Mon 15 Nov 2021 11
هاست سازنده	egori-p10.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://proper-testing.github.io/
مجوز	GPLv3+
حجم دانلود	506K
حجم نصب	734.016K

PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.

نیازمندی

مقدار	نام
-	erlang_app(compiler)
-	erlang_app(kernel)
-	erlang_app(stdlib)
-	erlang_mod(array)
-	erlang_mod(beam_lib)
-	erlang_mod(code)
-	erlang_mod(compile)
-	erlang_mod(cover)
-	erlang_mod(dict)
-	erlang_mod(erl_anno)
-	erlang_mod(erl_eval)
-	erlang_mod(erl_internal)
-	erlang_mod(erl_lint)
-	erlang_mod(erl_parse)
-	erlang_mod(erl_pp)
-	erlang_mod(erl_scan)
-	erlang_mod(erl_syntax)
-	erlang_mod(erlang)
-	erlang_mod(eunit_lib)
-	erlang_mod(filelib)
-	erlang_mod(filename)
-	erlang_mod(gb_sets)
-	erlang_mod(gb_trees)
-	erlang_mod(gen_server)
-	erlang_mod(io)
-	erlang_mod(io_lib)
-	erlang_mod(lists)
-	erlang_mod(maps)
-	erlang_mod(math)
-	erlang_mod(net_adm)
-	erlang_mod(net_kernel)
-	erlang_mod(orddict)
-	erlang_mod(ordsets)
-	erlang_mod(os)
-	erlang_mod(proplists)
-	erlang_mod(queue)
-	erlang_mod(rand)
-	erlang_mod(re)
-	erlang_mod(rpc)
-	erlang_mod(sets)
-	erlang_mod(slave)
-	erlang_mod(string)
-	erlang_mod(unicode)
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 1.4	erlang_app(proper)
= 1.4	erlang_lib(proper)
= 1.4	erlang_mod(proper)
= 1.4	erlang_mod(proper_arith)
= 1.4	erlang_mod(proper_array)
= 1.4	erlang_mod(proper_dict)
= 1.4	erlang_mod(proper_erlang_abstract_code)
= 1.4	erlang_mod(proper_fsm)
= 1.4	erlang_mod(proper_gb_sets)
= 1.4	erlang_mod(proper_gb_trees)
= 1.4	erlang_mod(proper_gen)
= 1.4	erlang_mod(proper_gen_next)
= 1.4	erlang_mod(proper_orddict)
= 1.4	erlang_mod(proper_ordsets)
= 1.4	erlang_mod(proper_prop_remover)
= 1.4	erlang_mod(proper_queue)
= 1.4	erlang_mod(proper_sa)
= 1.4	erlang_mod(proper_sets)
= 1.4	erlang_mod(proper_shrink)
= 1.4	erlang_mod(proper_statem)
= 1.4	erlang_mod(proper_symb)
= 1.4	erlang_mod(proper_target)
= 1.4	erlang_mod(proper_transformer)
= 1.4	erlang_mod(proper_types)
= 1.4	erlang_mod(proper_typeserver)
= 1.4	erlang_mod(proper_unicode)
= 1.4	erlang_mod(proper_unused_imports_remover)
= 1.4	erlang_mod(vararg)
= 1.4-alt1:p10+288258.1140.4.2	erlang-proper

نحوه نصب

نصب پکیج rpm erlang-proper:

sudo apt-get install erlang-proper-1.4-alt1.noarch.rpm

فایل ها

مسیرها
/usr/lib/erlang/lib/proper-1.4
/usr/lib/erlang/lib/proper-1.4/ebin
/usr/lib/erlang/lib/proper-1.4/ebin/proper.app
/usr/lib/erlang/lib/proper-1.4/ebin/proper.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_arith.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_array.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_dict.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_erlang_abstract_code.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_fsm.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gb_sets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gb_trees.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gen.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gen_next.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_orddict.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_ordsets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_prop_remover.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_queue.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_sa.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_sets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_shrink.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_statem.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_symb.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_target.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_transformer.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_types.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_typeserver.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_unicode.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_unused_imports_remover.beam
/usr/lib/erlang/lib/proper-1.4/ebin/vararg.beam
/usr/lib/erlang/lib/proper-1.4/include
/usr/lib/erlang/lib/proper-1.4/include/proper.hrl
/usr/lib/erlang/lib/proper-1.4/include/proper_common.hrl
/usr/lib/erlang/lib/proper-1.4/include/proper_internal.hrl
/usr/lib/erlang/lib/proper-1.4/include/proper_param_adts.hrl
/usr/share/doc/erlang-proper-1.4
/usr/share/doc/erlang-proper-1.4/COPYING
/usr/share/doc/erlang-proper-1.4/README.md
/usr/share/doc/erlang-proper-1.4/doc
/usr/share/doc/erlang-proper-1.4/doc/overview.edoc

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2021-10-12	1.4
2020-03-30	Fixed build with rebar2.
2019-01-14	Updated to upstream version 1.3.
2018-04-16	Initial build for ALT.