├── .credo.exs ├── .dialyzer_ignore.exs ├── .formatter.exs ├── .github └── workflows │ └── elixir.yml ├── .gitignore ├── .travis-fixtures └── exception_detection │ ├── global_disable_detection.output │ ├── global_enable_detection.output │ └── non_global_detection.output ├── CHANGELOG.md ├── LICENSE ├── README.md ├── lib ├── app.ex ├── basic_types.ex ├── counterstrike.ex ├── fsm.ex ├── instrument.ex ├── mix.ex ├── propcheck.ex ├── propcheck │ ├── logger.ex │ ├── output_agent.ex │ └── utils.ex ├── properties.ex ├── result.ex ├── statem.ex ├── statem │ ├── model_dsl.ex │ └── reporter.ex ├── statem_dsl.ex ├── targeted.ex └── yield_instrumenter.ex ├── mix.exs ├── mix.lock ├── release.sh └── test ├── basic_types_test.exs ├── broken_ticket_issuer_test.exs ├── cache_dsl_test.exs ├── counter_dsl_test.exs ├── counterstrike_test.exs ├── instrument_test.exs ├── let_test.exs ├── level_tpbt_test.exs ├── master_statem_test.exs ├── movie_dsl_test.exs ├── movie_test.exs ├── parallel_test.exs ├── pingpong_dsl_test.exs ├── pingpong_fsm_test.exs ├── pingpong_statem_test.exs ├── pingpong_test.exs ├── propcheck_test.exs ├── properties_default_opts_function.exs ├── properties_test.exs ├── stack_test.exs ├── statem_modeldsl_pretty_reports_test.exs ├── statem_pretty_reports_test.exs ├── store_counter_examples_test.exs ├── support ├── counter.ex ├── instrument_example.ex ├── instrument_example_simple.ex ├── level.ex ├── movie_server.ex ├── pingpong_master.ex ├── sequential_cache.ex ├── stack.ex ├── test_default_opts.ex ├── test_helpers.ex └── tree.ex ├── targeted_path_test.exs ├── targeted_tree_test.exs ├── test_helper.exs ├── tree_test.exs ├── utils_test.exs ├── verify-detect-exceptions.sh ├── verify-verbose-in-elixir-syntax.sh ├── verify-verbose.sh ├── verify_counter_examples_test.exs ├── verify_exception_detection_test.exs ├── verify_storing_counterexamples.sh ├── verify_verbose_elixir_syntax_test.exs └── verify_verbose_test.exs /.credo.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.credo.exs -------------------------------------------------------------------------------- /.dialyzer_ignore.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.dialyzer_ignore.exs -------------------------------------------------------------------------------- /.formatter.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.formatter.exs -------------------------------------------------------------------------------- /.github/workflows/elixir.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.github/workflows/elixir.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis-fixtures/exception_detection/global_disable_detection.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.travis-fixtures/exception_detection/global_disable_detection.output -------------------------------------------------------------------------------- /.travis-fixtures/exception_detection/global_enable_detection.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.travis-fixtures/exception_detection/global_enable_detection.output -------------------------------------------------------------------------------- /.travis-fixtures/exception_detection/non_global_detection.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/.travis-fixtures/exception_detection/non_global_detection.output -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/README.md -------------------------------------------------------------------------------- /lib/app.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/app.ex -------------------------------------------------------------------------------- /lib/basic_types.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/basic_types.ex -------------------------------------------------------------------------------- /lib/counterstrike.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/counterstrike.ex -------------------------------------------------------------------------------- /lib/fsm.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/fsm.ex -------------------------------------------------------------------------------- /lib/instrument.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/instrument.ex -------------------------------------------------------------------------------- /lib/mix.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/mix.ex -------------------------------------------------------------------------------- /lib/propcheck.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/propcheck.ex -------------------------------------------------------------------------------- /lib/propcheck/logger.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/propcheck/logger.ex -------------------------------------------------------------------------------- /lib/propcheck/output_agent.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/propcheck/output_agent.ex -------------------------------------------------------------------------------- /lib/propcheck/utils.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/propcheck/utils.ex -------------------------------------------------------------------------------- /lib/properties.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/properties.ex -------------------------------------------------------------------------------- /lib/result.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/result.ex -------------------------------------------------------------------------------- /lib/statem.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/statem.ex -------------------------------------------------------------------------------- /lib/statem/model_dsl.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/statem/model_dsl.ex -------------------------------------------------------------------------------- /lib/statem/reporter.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/statem/reporter.ex -------------------------------------------------------------------------------- /lib/statem_dsl.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/statem_dsl.ex -------------------------------------------------------------------------------- /lib/targeted.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/targeted.ex -------------------------------------------------------------------------------- /lib/yield_instrumenter.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/lib/yield_instrumenter.ex -------------------------------------------------------------------------------- /mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/mix.exs -------------------------------------------------------------------------------- /mix.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/mix.lock -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/release.sh -------------------------------------------------------------------------------- /test/basic_types_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/basic_types_test.exs -------------------------------------------------------------------------------- /test/broken_ticket_issuer_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/broken_ticket_issuer_test.exs -------------------------------------------------------------------------------- /test/cache_dsl_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/cache_dsl_test.exs -------------------------------------------------------------------------------- /test/counter_dsl_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/counter_dsl_test.exs -------------------------------------------------------------------------------- /test/counterstrike_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/counterstrike_test.exs -------------------------------------------------------------------------------- /test/instrument_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/instrument_test.exs -------------------------------------------------------------------------------- /test/let_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/let_test.exs -------------------------------------------------------------------------------- /test/level_tpbt_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/level_tpbt_test.exs -------------------------------------------------------------------------------- /test/master_statem_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/master_statem_test.exs -------------------------------------------------------------------------------- /test/movie_dsl_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/movie_dsl_test.exs -------------------------------------------------------------------------------- /test/movie_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/movie_test.exs -------------------------------------------------------------------------------- /test/parallel_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/parallel_test.exs -------------------------------------------------------------------------------- /test/pingpong_dsl_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/pingpong_dsl_test.exs -------------------------------------------------------------------------------- /test/pingpong_fsm_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/pingpong_fsm_test.exs -------------------------------------------------------------------------------- /test/pingpong_statem_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/pingpong_statem_test.exs -------------------------------------------------------------------------------- /test/pingpong_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/pingpong_test.exs -------------------------------------------------------------------------------- /test/propcheck_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/propcheck_test.exs -------------------------------------------------------------------------------- /test/properties_default_opts_function.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/properties_default_opts_function.exs -------------------------------------------------------------------------------- /test/properties_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/properties_test.exs -------------------------------------------------------------------------------- /test/stack_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/stack_test.exs -------------------------------------------------------------------------------- /test/statem_modeldsl_pretty_reports_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/statem_modeldsl_pretty_reports_test.exs -------------------------------------------------------------------------------- /test/statem_pretty_reports_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/statem_pretty_reports_test.exs -------------------------------------------------------------------------------- /test/store_counter_examples_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/store_counter_examples_test.exs -------------------------------------------------------------------------------- /test/support/counter.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/counter.ex -------------------------------------------------------------------------------- /test/support/instrument_example.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/instrument_example.ex -------------------------------------------------------------------------------- /test/support/instrument_example_simple.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/instrument_example_simple.ex -------------------------------------------------------------------------------- /test/support/level.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/level.ex -------------------------------------------------------------------------------- /test/support/movie_server.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/movie_server.ex -------------------------------------------------------------------------------- /test/support/pingpong_master.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/pingpong_master.ex -------------------------------------------------------------------------------- /test/support/sequential_cache.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/sequential_cache.ex -------------------------------------------------------------------------------- /test/support/stack.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/stack.ex -------------------------------------------------------------------------------- /test/support/test_default_opts.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/test_default_opts.ex -------------------------------------------------------------------------------- /test/support/test_helpers.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/test_helpers.ex -------------------------------------------------------------------------------- /test/support/tree.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/support/tree.ex -------------------------------------------------------------------------------- /test/targeted_path_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/targeted_path_test.exs -------------------------------------------------------------------------------- /test/targeted_tree_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/targeted_tree_test.exs -------------------------------------------------------------------------------- /test/test_helper.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/test_helper.exs -------------------------------------------------------------------------------- /test/tree_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/tree_test.exs -------------------------------------------------------------------------------- /test/utils_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/utils_test.exs -------------------------------------------------------------------------------- /test/verify-detect-exceptions.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify-detect-exceptions.sh -------------------------------------------------------------------------------- /test/verify-verbose-in-elixir-syntax.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify-verbose-in-elixir-syntax.sh -------------------------------------------------------------------------------- /test/verify-verbose.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify-verbose.sh -------------------------------------------------------------------------------- /test/verify_counter_examples_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify_counter_examples_test.exs -------------------------------------------------------------------------------- /test/verify_exception_detection_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify_exception_detection_test.exs -------------------------------------------------------------------------------- /test/verify_storing_counterexamples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify_storing_counterexamples.sh -------------------------------------------------------------------------------- /test/verify_verbose_elixir_syntax_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify_verbose_elixir_syntax_test.exs -------------------------------------------------------------------------------- /test/verify_verbose_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alfert/propcheck/HEAD/test/verify_verbose_test.exs --------------------------------------------------------------------------------