文件名称：propcheck：基于属性的Elixir测试（基于PropEr）
文件大小：148KB
文件格式：ZIP
更新时间：2024-02-25 20:55:12
elixir property-based-testing proper propcheck ElixirElixir
propcheck：基于属性的Elixir测试（基于PropEr）
【文件预览】：
propcheck-master
----mix.exs(3KB)
----.github()
--------workflows()
----.credo.exs(6KB)
----.travis-fixtures()
--------exception_detection()
----lib()
--------propcheck()
--------mix.ex(2KB)
--------counterstrike.ex(3KB)
--------propcheck.ex(45KB)
--------statem_dsl.ex(24KB)
--------fsm.ex(10KB)
--------yield_instrumenter.ex(525B)
--------properties.ex(12KB)
--------statem()
--------result.ex(1KB)
--------basic_types.ex(16KB)
--------app.ex(1KB)
--------targeted.ex(10KB)
--------statem.ex(19KB)
--------instrument.ex(24KB)
----.dialyzer_ignore.exs(194B)
----release.sh(2KB)
----config()
--------config.exs(1KB)
----LICENSE(34KB)
----test()
--------pingpong_dsl_test.exs(4KB)
--------let_test.exs(6KB)
--------verify_counter_examples_test.exs(616B)
--------counter_dsl_test.exs(4KB)
--------statem_pretty_reports_test.exs(23KB)
--------verify-verbose.sh(1KB)
--------targeted_tree_test.exs(4KB)
--------utils_test.exs(1KB)
--------cache_dsl_test.exs(5KB)
--------propcheck_test.exs(2KB)
--------properties_test.exs(582B)
--------parallel_test.exs(4KB)
--------pingpong_fsm_test.exs(5KB)
--------verify_storing_counterexamples.sh(328B)
--------pingpong_test.exs(1KB)
--------instrument_test.exs(6KB)
--------statem_modeldsl_pretty_reports_test.exs(23KB)
--------targeted_path_test.exs(2KB)
--------tree_test.exs(3KB)
--------verify_verbose_test.exs(370B)
--------verify-detect-exceptions.sh(1KB)
--------stack_test.exs(620B)
--------counterstrike_test.exs(3KB)
--------basic_types_test.exs(837B)
--------master_statem_test.exs(4KB)
--------verify-verbose-in-elixir-syntax.sh(2KB)
--------pingpong_statem_test.exs(6KB)
--------properties_default_opts_function.exs(398B)
--------store_counter_examples_test.exs(1KB)
--------test_helper.exs(169B)
--------verify_exception_detection_test.exs(1KB)
--------verify_verbose_elixir_syntax_test.exs(1KB)
--------movie_dsl_test.exs(8KB)
--------level_tpbt_test.exs(8KB)
--------movie_test.exs(7KB)
--------support()
----README.md(11KB)
----mix.lock(5KB)
----.gitignore(94B)
----CHANGELOG.md(7KB)