├── .editorconfig ├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ ├── feature_request.md │ └── other-issue.md ├── codecov.yml ├── pull_request_template.md ├── scripts │ ├── covertool_combine │ └── covertool_setup └── workflows │ ├── tests.yml │ └── website.yml ├── .gitignore ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.md ├── bin └── .gitignore ├── cover ├── .gitignore └── cover-report ├── doc ├── .gitignore ├── Gemfile ├── Makefile └── overview.edoc ├── docs ├── .bundle │ └── config ├── .gitignore ├── 404.md ├── CNAME ├── Gemfile ├── Gemfile.lock ├── Makefile ├── README.md ├── _config.yml ├── _config_local.yml ├── _data │ ├── authors.yml │ ├── navigation.yml │ └── text.yml ├── _includes │ ├── footer-custom.html │ ├── head-custom.html │ ├── masthead.html │ └── yt.html ├── _posts │ ├── 2013-09-03-site.md │ ├── 2013-09-23-euc-2013.md │ ├── 2014-06-02-poolboy-example.md │ ├── 2014-06-03-poolboy-example-errors.md │ ├── 2014-08-11-euc-2014.md │ ├── 2015-06-10-euc-2015.md │ ├── 2017-08-14-euc-2017-talk.md │ ├── 2017-08-14-euc-2017-tutorial.md │ ├── 2017-10-03-publications-update.md │ ├── 2017-10-08-concuerror-eunit.md │ ├── 2017-10-14-concuerring-concuerror-ep-1.md │ ├── 2017-11-06-Announcing-Mailing-List.md │ ├── 2018-07-15-hex.md │ ├── 2020-10-10-tips.md │ ├── 2020-10-17-code-beam-sf-2019.md │ ├── 2020-10-17-functional-conf-2018.md │ └── 2020-10-24-basic-tutorial.md ├── assets │ └── pdf │ │ ├── CodeBEAMSF2019.pdf │ │ ├── ICST2013.pdf │ │ └── iFM2017.pdf ├── contact.md ├── download.md ├── faq.md ├── feed.xml ├── images │ ├── favicon.ico │ └── site-logo.png ├── index.md ├── news.md ├── publications.md ├── search.md ├── sitemap.xml └── tutorials.md ├── elvis.config ├── priv ├── concuerror ├── generate_option_docfiles └── generate_version_hrl ├── rebar.config ├── rebar.lock ├── resources ├── DPOR_paper_material │ ├── DPOR_README │ ├── foo.erl │ ├── foobar.erl │ ├── my_test.erl │ ├── run_dialyzer.sh │ ├── run_filesystem.sh │ ├── run_indexer.sh │ ├── run_last_zero.sh │ ├── run_readers.sh │ └── run_rush_hour.sh ├── bash_completion │ └── concuerror ├── erlang_questions │ └── dets_bugs │ │ ├── alt_dets_bugs.erl │ │ └── dets_bugs.erl ├── flanagan.erl ├── how-to-release.md ├── old_include │ ├── gen.hrl │ ├── gui.hrl │ └── instr.hrl ├── old_source │ ├── LICENSE │ ├── concuerror.erl │ ├── concuerror_deps.erl │ ├── concuerror_error.erl │ ├── concuerror_gui.erl │ ├── concuerror_instr.erl │ ├── concuerror_io_server.erl │ ├── concuerror_lid.erl │ ├── concuerror_log.erl │ ├── concuerror_proc_action.erl │ ├── concuerror_rep.erl │ ├── concuerror_sched.erl │ ├── concuerror_state.erl │ ├── concuerror_ticket.erl │ └── concuerror_util.erl ├── perm_tests │ ├── run_perm_tests │ └── src │ │ ├── complete_test_3.erl │ │ ├── conditional_readers_3.erl │ │ ├── depend_4_1.erl │ │ ├── depend_4_2.erl │ │ ├── depend_4_3.erl │ │ ├── depend_6_1.erl │ │ ├── depend_6_2.erl │ │ ├── depend_6_3.erl │ │ ├── depend_6_4.erl │ │ ├── depend_6_5.erl │ │ ├── etsi.erl │ │ ├── readers_2.erl │ │ └── readers_3.erl ├── syntax │ ├── block_after.erl │ ├── non_local_pat.erl │ ├── rec_uscore.erl │ └── strip_attr.erl ├── tdd │ ├── reg_server.erl │ ├── reg_server.hrl │ └── reg_server_tests.erl └── utest │ ├── concuerror_error_tests.erl │ ├── concuerror_instr_tests.erl │ ├── concuerror_lid_tests.erl │ ├── concuerror_state_tests.erl │ └── concuerror_ticket_tests.erl ├── src ├── .gitignore ├── concuerror.app.src ├── concuerror.erl ├── concuerror.hrl ├── concuerror_callback.erl ├── concuerror_dependencies.erl ├── concuerror_estimator.erl ├── concuerror_inspect.erl ├── concuerror_instrumenter.erl ├── concuerror_io_lib.erl ├── concuerror_loader.erl ├── concuerror_logger.erl ├── concuerror_options.erl ├── concuerror_scheduler.erl └── concuerror_window_average.erl ├── test ├── README.md ├── concuerror_logger_tests.erl └── concuerror_options_tests.erl ├── tests-real ├── Makefile ├── README.md └── suites │ ├── check_version.escript │ ├── erlang-litmus │ ├── .gitignore │ ├── Makefile │ ├── run_litmus.escript │ └── test │ ├── gproc │ ├── .gitignore │ ├── Makefile │ ├── ref │ │ ├── t_reg_or_locate2.out │ │ ├── t_simple_reg.out │ │ ├── t_simple_reg_or_locate.out │ │ ├── test3.out │ │ └── test4.out │ ├── test │ └── test.erl │ ├── makefile │ ├── Makefile │ ├── footer │ ├── header │ └── makefile-tests │ ├── options │ ├── .gitignore │ ├── Makefile │ ├── autocomplete-tests │ ├── autocomplete │ │ ├── autocomplete.sh │ │ ├── autocomplete_common.erl │ │ ├── autocomplete_help.erl │ │ ├── autocomplete_long.erl │ │ └── autocomplete_short.erl │ ├── footer │ ├── header │ ├── option1-tests │ ├── option2-tests │ ├── option3-tests │ ├── other-tests │ └── src │ │ ├── bad.erl │ │ ├── bad_attribute.erl │ │ ├── bad_attribute_1.erl │ │ ├── bad_attribute_2.erl │ │ ├── bad_attribute_3.erl │ │ ├── bad_attribute_4.erl │ │ ├── bad_attribute_5.erl │ │ ├── debug_works.erl │ │ ├── eunit_sample.erl │ │ ├── excluded.erl │ │ ├── excluding.erl │ │ ├── first_and_other_deadlock.erl │ │ ├── foo.erl │ │ ├── from_shell.erl │ │ ├── load_nif.erl │ │ ├── other_deadlock.erl │ │ └── six.erl │ ├── output │ ├── Makefile │ ├── footer │ ├── header │ ├── output-tests │ ├── ref │ │ └── graph.dot │ └── src │ │ ├── a_fun.erl │ │ ├── buggy.erl │ │ ├── deadlock.erl │ │ ├── fig3.1-ext.erl │ │ ├── harmless_exit.erl │ │ ├── many_scheds.erl │ │ ├── more_stacktrace.erl │ │ ├── race_info.erl │ │ ├── register.erl │ │ └── stacktrace.erl │ ├── poolboy │ ├── .gitignore │ ├── Makefile │ └── test │ └── print_colors └── tests ├── README.md ├── differ ├── results └── .gitignore ├── runtests.py ├── scenarios.erl ├── suites ├── advanced_tests │ ├── results │ │ ├── gen_server_bug-test_register-inf-dpor.txt │ │ ├── gen_server_bug-test_without_register-inf-dpor.txt │ │ ├── manolis-test_2workers_small-inf-dpor.txt │ │ ├── percept-test-inf-dpor.txt │ │ ├── preemption-preemption-inf-dpor.txt │ │ ├── receive_deps-test-inf-dpor.txt │ │ ├── receive_deps_kill-test-inf-dpor.txt │ │ ├── receive_pats-test1-inf-dpor.txt │ │ ├── receive_pats-test2-inf-dpor.txt │ │ ├── receive_pats-test3-inf-dpor.txt │ │ ├── receive_pats-test4-inf-dpor.txt │ │ ├── receive_patterns-test1-inf-optimal.txt │ │ ├── receive_patterns-test2-inf-optimal.txt │ │ ├── ring_leader_election-ring_leader_election-inf-dpor.txt │ │ ├── ring_leader_election_barrier-ring_leader_election_barrier-inf-dpor.txt │ │ ├── ring_leader_election_symmetric-ring_leader_election_symmetric-inf-dpor.txt │ │ ├── ring_leader_election_symmetric_buffer-ring_leader_election_symmetric_buffer-inf-dpor.txt │ │ ├── ring_leader_election_symmetric_buffer_2-ring_leader_election_symmetric_buffer_2-inf-dpor.txt │ │ ├── shared_ptr-shared_ptr-inf-dpor.txt │ │ ├── shootout-test1-inf-dpor.txt │ │ ├── simple_registry-simple_registry-inf-dpor.txt │ │ ├── source_killer-test-inf-dpor.txt │ │ ├── source_killer-test-inf-source.txt │ │ └── vjeko_peer-concuerror_test-inf-dpor.txt │ └── src │ │ ├── gen_server_bug.erl │ │ ├── indexer_example.erl │ │ ├── manolis │ │ ├── good_testcase.txt │ │ ├── readme.txt │ │ ├── rush_hour.erl │ │ ├── search.erl │ │ └── test.erl │ │ ├── percept.erl │ │ ├── preemption.erl │ │ ├── receive_deps.erl │ │ ├── receive_deps_kill.erl │ │ ├── receive_pats.erl │ │ ├── receive_patterns.erl │ │ ├── ring_leader_election.erl │ │ ├── ring_leader_election_barrier.erl │ │ ├── ring_leader_election_symmetric.erl │ │ ├── ring_leader_election_symmetric_buffer.erl │ │ ├── ring_leader_election_symmetric_buffer_2.erl │ │ ├── send_order.erl │ │ ├── shared_ptr.erl │ │ ├── shootout │ │ ├── pidigits.erl │ │ ├── test.erl │ │ └── thread_ring.erl │ │ ├── simple_registry.erl │ │ ├── source_killer.erl │ │ └── vjeko_peer.erl ├── basic_tests │ ├── results │ │ ├── ac_tab_insert-test-inf-optimal.txt │ │ ├── after_test_2-after_test_2-inf-dpor.txt │ │ ├── after_test_3-after_test_3-inf-dpor.txt │ │ ├── after_vs_trap_exit-after_vs_trap_exit-inf-dpor.txt │ │ ├── allow_first_crash-test-inf-dpor.txt │ │ ├── assert_filter-test-inf-dpor.txt │ │ ├── bad_dictionary-bad_erase-inf-optimal.txt │ │ ├── bad_dictionary-bad_get-inf-optimal.txt │ │ ├── bad_dictionary-bad_put-inf-optimal.txt │ │ ├── bad_whereis-test-inf-dpor.txt │ │ ├── code_when_undef-test-inf-optimal.txt │ │ ├── concuerror_crash-test-inf-dpor.txt │ │ ├── curious_builtins-test1-inf-dpor.txt │ │ ├── curious_builtins-test2-inf-dpor.txt │ │ ├── curious_builtins-test3-inf-dpor.txt │ │ ├── dead_receive-dead_receive-inf-dpor.txt │ │ ├── deeper_exit-test-inf-dpor.txt │ │ ├── demonitor_exhaustive-child_both-inf-dpor.txt │ │ ├── demonitor_exhaustive-child_flush-inf-dpor.txt │ │ ├── demonitor_exhaustive-child_info-inf-dpor.txt │ │ ├── demonitor_exhaustive-child_none-inf-dpor.txt │ │ ├── demonitor_exhaustive-parent_both-inf-dpor.txt │ │ ├── demonitor_exhaustive-parent_flush-inf-dpor.txt │ │ ├── demonitor_exhaustive-parent_info-inf-dpor.txt │ │ ├── demonitor_exhaustive-parent_none-inf-dpor.txt │ │ ├── demonitor_flush-test1-inf-dpor.txt │ │ ├── demonitor_flush-test2-inf-dpor.txt │ │ ├── demonitor_flush-test3-inf-dpor.txt │ │ ├── demonitor_flush-test4-inf-dpor.txt │ │ ├── demonitor_flush-test5-inf-dpor.txt │ │ ├── demonitor_flush-test6-inf-dpor.txt │ │ ├── demonitor_sane_opts-test1-inf-dpor.txt │ │ ├── demonitor_sane_opts-test2-inf-dpor.txt │ │ ├── demonitor_sane_opts-test3-inf-dpor.txt │ │ ├── depth_bound-test-inf-dpor.txt │ │ ├── erlang_display-test-inf-dpor.txt │ │ ├── erlang_display_string-test-inf-dpor.txt │ │ ├── ets_delete-ets_delete-inf-dpor.txt │ │ ├── ets_delete-ets_delete_bad-inf-dpor.txt │ │ ├── ets_delete-ets_delete_plain-inf-dpor.txt │ │ ├── ets_delete_2-ets_delete_2-inf-dpor.txt │ │ ├── ets_delete_2-ets_delete_2_twice-inf-dpor.txt │ │ ├── ets_delete_all-delete_all_bad-inf-optimal.txt │ │ ├── ets_delete_all-delete_all_good-inf-optimal.txt │ │ ├── ets_delete_all-race_delete_all_read-inf-optimal.txt │ │ ├── ets_delete_all-race_delete_all_write-inf-optimal.txt │ │ ├── ets_delete_object-test1-inf-dpor.txt │ │ ├── ets_delete_object-test2-inf-dpor.txt │ │ ├── ets_delete_object-test3-inf-dpor.txt │ │ ├── ets_exceptions-test-inf-dpor.txt │ │ ├── ets_give_away-give_away_bad-inf-optimal.txt │ │ ├── ets_give_away-give_away_good-inf-optimal.txt │ │ ├── ets_global_global-new_delete-inf-optimal.txt │ │ ├── ets_global_global-new_exit-inf-optimal.txt │ │ ├── ets_global_global-new_new-inf-optimal.txt │ │ ├── ets_global_global-new_rename_free-inf-optimal.txt │ │ ├── ets_global_global-new_rename_taken-inf-optimal.txt │ │ ├── ets_global_global-rename_delete-inf-optimal.txt │ │ ├── ets_global_global-rename_exit-inf-optimal.txt │ │ ├── ets_global_global-rename_rename_free-inf-optimal.txt │ │ ├── ets_global_global-rename_rename_taken-inf-optimal.txt │ │ ├── ets_heir-ets_heir-inf-dpor.txt │ │ ├── ets_heir-test-inf-dpor.txt │ │ ├── ets_heir-test1-inf-dpor.txt │ │ ├── ets_heir-test2-inf-dpor.txt │ │ ├── ets_heir_2-ets_heir_2-inf-dpor.txt │ │ ├── ets_info-info_2_badarg-inf-optimal.txt │ │ ├── ets_info-info_bad-inf-optimal.txt │ │ ├── ets_info-info_badarg-inf-optimal.txt │ │ ├── ets_info-info_good-inf-optimal.txt │ │ ├── ets_info-info_system-inf-optimal.txt │ │ ├── ets_info_details-test-inf-optimal.txt │ │ ├── ets_insert_new-test-inf-dpor.txt │ │ ├── ets_insert_objects-ets_insert_objects-inf-dpor.txt │ │ ├── ets_many_insert_new-ets_many_insert_new-inf-dpor.txt │ │ ├── ets_new-test-inf-dpor.txt │ │ ├── ets_new-test-inf.txt │ │ ├── ets_new_failure-ets_new_failure-inf-dpor.txt │ │ ├── ets_new_failure_2-ets_new_failure_2-inf-dpor.txt │ │ ├── ets_new_failure_3-ets_new_failure_3-inf-dpor.txt │ │ ├── ets_ref_keys-ets_ref_keys-0.txt │ │ ├── ets_ref_keys-ets_ref_keys-inf-dpor.txt │ │ ├── ets_rename-rename_bad-inf-optimal.txt │ │ ├── ets_rename-rename_good-inf-optimal.txt │ │ ├── ets_rename-rename_public-inf-optimal.txt │ │ ├── ets_select-match_against_different_keys-inf-dpor.txt │ │ ├── ets_select-match_against_different_matchspec-inf-dpor.txt │ │ ├── ets_select-match_against_different_tuples-inf-dpor.txt │ │ ├── ets_select-match_against_matching_keys-inf-dpor.txt │ │ ├── ets_select-match_against_matching_matchspec-inf-dpor.txt │ │ ├── ets_select-match_against_matching_tuples-inf-dpor.txt │ │ ├── ets_select-match_object_against_different_keys-inf-dpor.txt │ │ ├── ets_select-match_object_against_different_matchspec-inf-dpor.txt │ │ ├── ets_select-match_object_against_different_tuples-inf-dpor.txt │ │ ├── ets_select-match_object_against_matching_keys-inf-dpor.txt │ │ ├── ets_select-match_object_against_matching_matchspec-inf-dpor.txt │ │ ├── ets_select-match_object_against_matching_tuples-inf-dpor.txt │ │ ├── ets_select-select_against_different_keys-inf-dpor.txt │ │ ├── ets_select-select_against_different_matchspec-inf-dpor.txt │ │ ├── ets_select-select_against_different_tuples-inf-dpor.txt │ │ ├── ets_select-select_against_matching_keys-inf-dpor.txt │ │ ├── ets_select-select_against_matching_matchspec-inf-dpor.txt │ │ ├── ets_select-select_against_matching_tuples-inf-dpor.txt │ │ ├── ets_select-select_delete_against_different_any-inf-dpor.txt │ │ ├── ets_select-select_delete_against_different_keys-inf-dpor.txt │ │ ├── ets_select-select_delete_against_different_matchspec-inf-dpor.txt │ │ ├── ets_select-select_delete_against_different_tuples-inf-dpor.txt │ │ ├── ets_select-select_delete_against_matching_any-inf-dpor.txt │ │ ├── ets_select-select_delete_against_matching_keys-inf-dpor.txt │ │ ├── ets_select-select_delete_against_matching_matchspec-inf-dpor.txt │ │ ├── ets_select-select_delete_against_matching_tuples-inf-dpor.txt │ │ ├── ets_unguarded-test-inf-optimal.txt │ │ ├── ets_unnamed-test1-inf-dpor.txt │ │ ├── ets_unnamed-test2-inf-dpor.txt │ │ ├── ets_unnamed-test3-inf-dpor.txt │ │ ├── ets_update_counter-test-inf-dpor.txt │ │ ├── ets_update_counter-test1-inf-dpor.txt │ │ ├── ets_update_element-race_update_element_r-inf-optimal.txt │ │ ├── ets_update_element-race_update_element_w-inf-optimal.txt │ │ ├── ets_update_element-update_element_bad-inf-optimal.txt │ │ ├── ets_update_element-update_element_good-inf-optimal.txt │ │ ├── ets_whereis-race_whereis_r-inf-optimal.txt │ │ ├── ets_whereis-race_whereis_w-inf-optimal.txt │ │ ├── ets_whereis-whereis_bad-inf-optimal.txt │ │ ├── ets_whereis-whereis_badarg-inf-optimal.txt │ │ ├── ets_whereis-whereis_good-inf-optimal.txt │ │ ├── ets_whereis-whereis_race_del-inf-optimal.txt │ │ ├── ets_whereis-whereis_race_exit-inf-optimal.txt │ │ ├── ets_whereis-whereis_race_wr-inf-optimal.txt │ │ ├── ets_whereis-whereis_race_ww-inf-optimal.txt │ │ ├── ets_whereis-whereis_system-inf-optimal.txt │ │ ├── exit-test1-inf-dpor.txt │ │ ├── exit-test1-inf.txt │ │ ├── exit-test2-inf-dpor.txt │ │ ├── exit-test2-inf.txt │ │ ├── exit-test3-inf-dpor.txt │ │ ├── exit-test3-inf.txt │ │ ├── exit-test4-inf-dpor.txt │ │ ├── exit-test5-inf-dpor.txt │ │ ├── exit-test6-inf-dpor.txt │ │ ├── exit_kill-test-inf-dpor.txt │ │ ├── exit_message_unpredicted-exit_message_unpredicted-inf-dpor.txt │ │ ├── file_read_file-test-inf-dpor.txt │ │ ├── fun_fail-test1-inf-dpor.txt │ │ ├── fun_fail-test2-inf-dpor.txt │ │ ├── fun_fail-test3-inf-dpor.txt │ │ ├── group_leader-test-inf-dpor.txt │ │ ├── group_leader-test1-inf-dpor.txt │ │ ├── group_leader2-test-inf-dpor.txt │ │ ├── group_leader3-test-inf-dpor.txt │ │ ├── halt_error-test1-inf-optimal.txt │ │ ├── halt_error-test2-inf-optimal.txt │ │ ├── hibernate-test-inf-optimal.txt │ │ ├── hopeless_after-hopeless_after-inf-dpor.txt │ │ ├── i_hate_myself-i_hate_myself-inf-dpor.txt │ │ ├── ignore_error_1-test-inf-dpor.txt │ │ ├── ignore_error_2-test-inf-dpor.txt │ │ ├── ignore_error_3-test-inf-dpor.txt │ │ ├── immediate_delivery-test1-inf-dpor.txt │ │ ├── immediate_delivery-test2-inf-dpor.txt │ │ ├── immediate_delivery-test3-inf-dpor.txt │ │ ├── init_race_condition-test-inf-dpor.txt │ │ ├── init_race_condition-test-inf.txt │ │ ├── inspect_system-test-inf-dpor.txt │ │ ├── instr_apply-test-inf-dpor.txt │ │ ├── instr_apply-test-inf.txt │ │ ├── io_error-test-inf-dpor.txt │ │ ├── io_format-test-inf-dpor.txt │ │ ├── io_format_2-test-inf-dpor.txt │ │ ├── io_format_3-test-inf-dpor.txt │ │ ├── irrelevant_send-irrelevant_send-inf-dpor.txt │ │ ├── is_process_alive_1-is_process_alive_1-inf-dpor.txt │ │ ├── keep_going-test-inf-dpor.txt │ │ ├── kill_running_waiting-test-inf-dpor.txt │ │ ├── late_hope-late_hope-inf-dpor.txt │ │ ├── lid_test-test-inf-dpor.txt │ │ ├── link_after-link_after-inf-dpor.txt │ │ ├── load_before_start-test-inf-dpor.txt │ │ ├── main_and_backup-main_and_backup-inf-dpor.txt │ │ ├── many_kill-test-inf-dpor.txt │ │ ├── many_links-many_links-inf-dpor.txt │ │ ├── many_monitors-many_monitors-inf-dpor.txt │ │ ├── many_send_to_dead-many_send_to_dead-inf-dpor.txt │ │ ├── many_send_to_dead_2-many_send_to_dead_2-inf-dpor.txt │ │ ├── message_queue_length-test-inf-optimal.txt │ │ ├── messed_deliveries-test-inf-dpor.txt │ │ ├── module_loaded_dep-test-inf-optimal.txt │ │ ├── monitor_demonitor-monitor_demonitor-inf-dpor.txt │ │ ├── monitor_failure-monitor_failure-inf-dpor.txt │ │ ├── monitor_info-test1-inf-dpor.txt │ │ ├── monitor_info-test2-inf-dpor.txt │ │ ├── monitor_missing_messages-monitor_missing_messages-inf-dpor.txt │ │ ├── monitor_named-test-inf-dpor.txt │ │ ├── monitor_order-test-inf-optimal.txt │ │ ├── monotonic_time-test-inf-optimal.txt │ │ ├── node_names-test1-inf-dpor.txt │ │ ├── node_names-test2-inf-dpor.txt │ │ ├── normal_exit-normal_exit-inf-dpor.txt │ │ ├── normal_shutdown-test-inf-dpor.txt │ │ ├── normal_tuple_exit-test-inf-dpor.txt │ │ ├── os_timestamp-test-inf-dpor.txt │ │ ├── pids_are_unsafe-test-inf-dpor.txt │ │ ├── process_flag_link-process_flag_link-inf-dpor.txt │ │ ├── process_info-test1-inf-dpor.txt │ │ ├── process_info-test2-inf-dpor.txt │ │ ├── process_info-test3-inf-dpor.txt │ │ ├── process_info-test_current_function-inf-dpor.txt │ │ ├── process_info-test_current_function_top-inf-dpor.txt │ │ ├── process_info-test_message_queue_len-inf-dpor.txt │ │ ├── process_info-test_messages-inf-dpor.txt │ │ ├── process_info-test_mql_flush-inf-dpor.txt │ │ ├── processes-test1-inf-dpor.txt │ │ ├── processes-test2-inf-dpor.txt │ │ ├── processes_leader-test-inf-optimal.txt │ │ ├── racing_after-test-inf-dpor.txt │ │ ├── receive_after-receive_after-inf-dpor.txt │ │ ├── receive_and_after-receive_and_after-inf-dpor.txt │ │ ├── receive_catchall-test1-inf-dpor.txt │ │ ├── receive_catchall-test2-inf-dpor.txt │ │ ├── receive_catchall-test3-inf-dpor.txt │ │ ├── receive_exit-test-inf-dpor.txt │ │ ├── receive_exit-test1-inf-dpor.txt │ │ ├── receive_exit-test2-inf-dpor.txt │ │ ├── receive_exit-test3-inf-dpor.txt │ │ ├── receive_with_guard-receive_with_guard-inf-dpor.txt │ │ ├── receive_without_trapping-receive_without_trapping-inf-dpor.txt │ │ ├── register_link-test-inf-optimal.txt │ │ ├── registered_1-registered_1-inf-dpor.txt │ │ ├── registered_2-registered_2-inf-dpor.txt │ │ ├── registered_send_1-registered_send_1-inf-dpor.txt │ │ ├── registered_send_2-registered_send_2-inf-dpor.txt │ │ ├── registered_send_3-registered_send_3-inf-dpor.txt │ │ ├── replay_sanity-replay_sanity-inf-dpor.txt │ │ ├── report_blocks-test-inf-dpor.txt │ │ ├── reuse_raw_pid-test-inf-dpor.txt │ │ ├── safeops_coverage-test-inf-optimal.txt │ │ ├── sched_tests-test_3_proc_receive_exit-0-dpor.txt │ │ ├── sched_tests-test_3_proc_receive_exit-0.txt │ │ ├── sched_tests-test_3_proc_receive_exit-1-dpor.txt │ │ ├── sched_tests-test_3_proc_receive_exit-1.txt │ │ ├── sched_tests-test_3_proc_receive_exit-2-dpor.txt │ │ ├── sched_tests-test_3_proc_receive_exit-2.txt │ │ ├── sched_tests-test_3_proc_receive_exit-inf-dpor.txt │ │ ├── sched_tests-test_3_proc_receive_exit-inf.txt │ │ ├── sched_tests-test_3_proc_send_receive-0-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-0.txt │ │ ├── sched_tests-test_3_proc_send_receive-1-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-1.txt │ │ ├── sched_tests-test_3_proc_send_receive-2-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-2.txt │ │ ├── sched_tests-test_3_proc_send_receive-3-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-3.txt │ │ ├── sched_tests-test_3_proc_send_receive-4-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-4.txt │ │ ├── sched_tests-test_3_proc_send_receive-5-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-5.txt │ │ ├── sched_tests-test_3_proc_send_receive-6-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-6.txt │ │ ├── sched_tests-test_3_proc_send_receive-7-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-7.txt │ │ ├── sched_tests-test_3_proc_send_receive-inf-dpor.txt │ │ ├── sched_tests-test_3_proc_send_receive-inf.txt │ │ ├── sched_tests-test_after_clause_preemption-0-dpor.txt │ │ ├── sched_tests-test_after_clause_preemption-0.txt │ │ ├── sched_tests-test_after_clause_preemption-1-dpor.txt │ │ ├── sched_tests-test_after_clause_preemption-1.txt │ │ ├── sched_tests-test_after_clause_preemption-2-dpor.txt │ │ ├── sched_tests-test_after_clause_preemption-2.txt │ │ ├── sched_tests-test_after_clause_preemption-3-dpor.txt │ │ ├── sched_tests-test_after_clause_preemption-3.txt │ │ ├── sched_tests-test_after_clause_preemption-inf-dpor.txt │ │ ├── sched_tests-test_after_clause_preemption-inf.txt │ │ ├── sched_tests-test_halt_0-0-dpor.txt │ │ ├── sched_tests-test_halt_0-0.txt │ │ ├── sched_tests-test_halt_0-inf-dpor.txt │ │ ├── sched_tests-test_halt_0-inf.txt │ │ ├── sched_tests-test_halt_1-0-dpor.txt │ │ ├── sched_tests-test_halt_1-0.txt │ │ ├── sched_tests-test_halt_1-inf-dpor.txt │ │ ├── sched_tests-test_halt_1-inf.txt │ │ ├── sched_tests-test_link_receive_exit-0-dpor.txt │ │ ├── sched_tests-test_link_receive_exit-0.txt │ │ ├── sched_tests-test_link_receive_exit-1-dpor.txt │ │ ├── sched_tests-test_link_receive_exit-1.txt │ │ ├── sched_tests-test_link_receive_exit-inf-dpor.txt │ │ ├── sched_tests-test_link_receive_exit-inf.txt │ │ ├── sched_tests-test_link_unlink-0-dpor.txt │ │ ├── sched_tests-test_link_unlink-0.txt │ │ ├── sched_tests-test_link_unlink-1-dpor.txt │ │ ├── sched_tests-test_link_unlink-1.txt │ │ ├── sched_tests-test_link_unlink-2-dpor.txt │ │ ├── sched_tests-test_link_unlink-2.txt │ │ ├── sched_tests-test_link_unlink-3-dpor.txt │ │ ├── sched_tests-test_link_unlink-3.txt │ │ ├── sched_tests-test_link_unlink-inf-dpor.txt │ │ ├── sched_tests-test_link_unlink-inf.txt │ │ ├── sched_tests-test_monitor_unexisting-0-dpor.txt │ │ ├── sched_tests-test_monitor_unexisting-0.txt │ │ ├── sched_tests-test_monitor_unexisting-1-dpor.txt │ │ ├── sched_tests-test_monitor_unexisting-1.txt │ │ ├── sched_tests-test_monitor_unexisting-inf-dpor.txt │ │ ├── sched_tests-test_monitor_unexisting-inf.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-0-dpor.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-0.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-1-dpor.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-1.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-2-dpor.txt │ │ ├── sched_tests-test_nested_send_receive_block_twice-2.txt │ │ ├── sched_tests-test_receive-0-dpor.txt │ │ ├── sched_tests-test_receive-0.txt │ │ ├── sched_tests-test_receive-inf-dpor.txt │ │ ├── sched_tests-test_receive-inf.txt │ │ ├── sched_tests-test_receive_2-0-dpor.txt │ │ ├── sched_tests-test_receive_2-0.txt │ │ ├── sched_tests-test_receive_2-inf-dpor.txt │ │ ├── sched_tests-test_receive_2-inf.txt │ │ ├── sched_tests-test_receive_after_block_expr_action-0-dpor.txt │ │ ├── sched_tests-test_receive_after_block_expr_action-0.txt │ │ ├── sched_tests-test_receive_after_block_expr_action-inf-dpor.txt │ │ ├── sched_tests-test_receive_after_block_expr_action-inf.txt │ │ ├── sched_tests-test_receive_after_infinity_no_patterns-0-dpor.txt │ │ ├── sched_tests-test_receive_after_infinity_no_patterns-0.txt │ │ ├── sched_tests-test_receive_after_infinity_no_patterns-inf-dpor.txt │ │ ├── sched_tests-test_receive_after_infinity_no_patterns-inf.txt │ │ ├── sched_tests-test_receive_after_infinity_with_pattern-0-dpor.txt │ │ ├── sched_tests-test_receive_after_infinity_with_pattern-0.txt │ │ ├── sched_tests-test_receive_after_infinity_with_pattern-inf-dpor.txt │ │ ├── sched_tests-test_receive_after_infinity_with_pattern-inf.txt │ │ ├── sched_tests-test_receive_after_no_patterns-0-dpor.txt │ │ ├── sched_tests-test_receive_after_no_patterns-0.txt │ │ ├── sched_tests-test_receive_after_no_patterns-1-dpor.txt │ │ ├── sched_tests-test_receive_after_no_patterns-1.txt │ │ ├── sched_tests-test_receive_after_no_patterns-2-dpor.txt │ │ ├── sched_tests-test_receive_after_no_patterns-2.txt │ │ ├── sched_tests-test_receive_after_no_patterns-inf-dpor.txt │ │ ├── sched_tests-test_receive_after_no_patterns-inf.txt │ │ ├── sched_tests-test_receive_after_with_pattern-0-dpor.txt │ │ ├── sched_tests-test_receive_after_with_pattern-0.txt │ │ ├── sched_tests-test_receive_after_with_pattern-1-dpor.txt │ │ ├── sched_tests-test_receive_after_with_pattern-1.txt │ │ ├── sched_tests-test_receive_after_with_pattern-2-dpor.txt │ │ ├── sched_tests-test_receive_after_with_pattern-2.txt │ │ ├── sched_tests-test_receive_after_with_pattern-3-dpor.txt │ │ ├── sched_tests-test_receive_after_with_pattern-3.txt │ │ ├── sched_tests-test_receive_after_with_pattern-inf-dpor.txt │ │ ├── sched_tests-test_receive_after_with_pattern-inf.txt │ │ ├── sched_tests-test_register_unregister-0-dpor.txt │ │ ├── sched_tests-test_register_unregister-0.txt │ │ ├── sched_tests-test_register_unregister-1-dpor.txt │ │ ├── sched_tests-test_register_unregister-1.txt │ │ ├── sched_tests-test_register_unregister-2-dpor.txt │ │ ├── sched_tests-test_register_unregister-2.txt │ │ ├── sched_tests-test_register_unregister-3-dpor.txt │ │ ├── sched_tests-test_register_unregister-3.txt │ │ ├── sched_tests-test_register_unregister-inf-dpor.txt │ │ ├── sched_tests-test_register_unregister-inf.txt │ │ ├── sched_tests-test_send-0-dpor.txt │ │ ├── sched_tests-test_send-0.txt │ │ ├── sched_tests-test_send-1-dpor.txt │ │ ├── sched_tests-test_send-1.txt │ │ ├── sched_tests-test_send-inf-dpor.txt │ │ ├── sched_tests-test_send-inf.txt │ │ ├── sched_tests-test_send_2-0-dpor.txt │ │ ├── sched_tests-test_send_2-0.txt │ │ ├── sched_tests-test_send_2-1-dpor.txt │ │ ├── sched_tests-test_send_2-1.txt │ │ ├── sched_tests-test_send_2-inf-dpor.txt │ │ ├── sched_tests-test_send_2-inf.txt │ │ ├── sched_tests-test_send_3-0-dpor.txt │ │ ├── sched_tests-test_send_3-0.txt │ │ ├── sched_tests-test_send_3-1-dpor.txt │ │ ├── sched_tests-test_send_3-1.txt │ │ ├── sched_tests-test_send_3-inf-dpor.txt │ │ ├── sched_tests-test_send_3-inf.txt │ │ ├── sched_tests-test_send_receive-0-dpor.txt │ │ ├── sched_tests-test_send_receive-0.txt │ │ ├── sched_tests-test_send_receive-1-dpor.txt │ │ ├── sched_tests-test_send_receive-1.txt │ │ ├── sched_tests-test_send_receive-2-dpor.txt │ │ ├── sched_tests-test_send_receive-2.txt │ │ ├── sched_tests-test_send_receive-inf-dpor.txt │ │ ├── sched_tests-test_send_receive-inf.txt │ │ ├── sched_tests-test_send_receive_2-0-dpor.txt │ │ ├── sched_tests-test_send_receive_2-0.txt │ │ ├── sched_tests-test_send_receive_2-1-dpor.txt │ │ ├── sched_tests-test_send_receive_2-1.txt │ │ ├── sched_tests-test_send_receive_2-2-dpor.txt │ │ ├── sched_tests-test_send_receive_2-2.txt │ │ ├── sched_tests-test_send_receive_2-inf-dpor.txt │ │ ├── sched_tests-test_send_receive_2-inf.txt │ │ ├── sched_tests-test_send_receive_3-0-dpor.txt │ │ ├── sched_tests-test_send_receive_3-0.txt │ │ ├── sched_tests-test_send_receive_3-1-dpor.txt │ │ ├── sched_tests-test_send_receive_3-1.txt │ │ ├── sched_tests-test_send_receive_3-2-dpor.txt │ │ ├── sched_tests-test_send_receive_3-2.txt │ │ ├── sched_tests-test_send_receive_3-inf-dpor.txt │ │ ├── sched_tests-test_send_receive_3-inf.txt │ │ ├── sched_tests-test_spawn-0-dpor.txt │ │ ├── sched_tests-test_spawn-0.txt │ │ ├── sched_tests-test_spawn-1-dpor.txt │ │ ├── sched_tests-test_spawn-1.txt │ │ ├── sched_tests-test_spawn-inf-dpor.txt │ │ ├── sched_tests-test_spawn-inf.txt │ │ ├── sched_tests-test_spawn_link_race-0-dpor.txt │ │ ├── sched_tests-test_spawn_link_race-0.txt │ │ ├── sched_tests-test_spawn_link_race-1-dpor.txt │ │ ├── sched_tests-test_spawn_link_race-1.txt │ │ ├── sched_tests-test_spawn_link_race-inf-dpor.txt │ │ ├── sched_tests-test_spawn_link_race-inf.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-0-dpor.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-0.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-1-dpor.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-1.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-inf-dpor.txt │ │ ├── sched_tests-test_spawn_link_receive_exit-inf.txt │ │ ├── sched_tests-test_spawn_link_unlink-0-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink-0.txt │ │ ├── sched_tests-test_spawn_link_unlink-1-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink-1.txt │ │ ├── sched_tests-test_spawn_link_unlink-2-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink-2.txt │ │ ├── sched_tests-test_spawn_link_unlink-inf-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink-inf.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-0-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-0.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-1-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-1.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-inf-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_2-inf.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-0-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-0.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-1-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-1.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-inf-dpor.txt │ │ ├── sched_tests-test_spawn_link_unlink_3-inf.txt │ │ ├── sched_tests-test_spawn_monitor-0-dpor.txt │ │ ├── sched_tests-test_spawn_monitor-0.txt │ │ ├── sched_tests-test_spawn_monitor-inf-dpor.txt │ │ ├── sched_tests-test_spawn_monitor-inf.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-0-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-0.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-1-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-1.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-inf-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor-inf.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-0-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-0.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-1-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-1.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-inf-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_2-inf.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-0-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-0.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-1-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-1.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-inf-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_3-inf.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-0-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-0.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-1-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-1.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-inf-dpor.txt │ │ ├── sched_tests-test_spawn_monitor_demonitor_4-inf.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-0-dpor.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-0.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-1-dpor.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-1.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-inf-dpor.txt │ │ ├── sched_tests-test_spawn_opt_link_receive_exit-inf.txt │ │ ├── sched_tests-test_spawn_opt_monitor-0-dpor.txt │ │ ├── sched_tests-test_spawn_opt_monitor-0.txt │ │ ├── sched_tests-test_spawn_opt_monitor-inf-dpor.txt │ │ ├── sched_tests-test_spawn_opt_monitor-inf.txt │ │ ├── sched_tests-test_spawn_register_race-0-dpor.txt │ │ ├── sched_tests-test_spawn_register_race-0.txt │ │ ├── sched_tests-test_spawn_register_race-1-dpor.txt │ │ ├── sched_tests-test_spawn_register_race-1.txt │ │ ├── sched_tests-test_spawn_register_race-2-dpor.txt │ │ ├── sched_tests-test_spawn_register_race-2.txt │ │ ├── sched_tests-test_spawn_register_race-inf-dpor.txt │ │ ├── sched_tests-test_spawn_register_race-inf.txt │ │ ├── sched_tests-test_trap_exit_timing-0-dpor.txt │ │ ├── sched_tests-test_trap_exit_timing-0.txt │ │ ├── sched_tests-test_trap_exit_timing-1-dpor.txt │ │ ├── sched_tests-test_trap_exit_timing-1.txt │ │ ├── sched_tests-test_trap_exit_timing-inf-dpor.txt │ │ ├── sched_tests-test_trap_exit_timing-inf.txt │ │ ├── sched_tests-test_var_mod_fun-0-dpor.txt │ │ ├── sched_tests-test_var_mod_fun-0.txt │ │ ├── sched_tests-test_var_mod_fun-1-dpor.txt │ │ ├── sched_tests-test_var_mod_fun-1.txt │ │ ├── sched_tests-test_var_mod_fun-inf-dpor.txt │ │ ├── sched_tests-test_var_mod_fun-inf.txt │ │ ├── sched_tests-test_whereis-0-dpor.txt │ │ ├── sched_tests-test_whereis-0.txt │ │ ├── sched_tests-test_whereis-1-dpor.txt │ │ ├── sched_tests-test_whereis-1.txt │ │ ├── sched_tests-test_whereis-2-dpor.txt │ │ ├── sched_tests-test_whereis-2.txt │ │ ├── sched_tests-test_whereis-inf-dpor.txt │ │ ├── sched_tests-test_whereis-inf.txt │ │ ├── self_exits-test1-inf-dpor.txt │ │ ├── self_exits-test2-inf-dpor.txt │ │ ├── self_exits-test3-inf-dpor.txt │ │ ├── self_exits-test4-inf-dpor.txt │ │ ├── send_after-test1-inf-dpor.txt │ │ ├── send_after-test11-inf-dpor.txt │ │ ├── send_after-test12-inf-dpor.txt │ │ ├── send_after-test13-inf-dpor.txt │ │ ├── send_after-test14-inf-dpor.txt │ │ ├── send_after-test15-inf-dpor.txt │ │ ├── send_after-test16-inf-dpor.txt │ │ ├── send_after-test17-inf-dpor.txt │ │ ├── send_after-test18-inf-dpor.txt │ │ ├── send_after-test19-inf-dpor.txt │ │ ├── send_after-test1A-inf-dpor.txt │ │ ├── send_after-test1B-inf-dpor.txt │ │ ├── send_after-test1C-inf-dpor.txt │ │ ├── send_after-test1D-inf-dpor.txt │ │ ├── send_after-test2-inf-dpor.txt │ │ ├── send_after-test3-inf-dpor.txt │ │ ├── send_after-test4-inf-dpor.txt │ │ ├── send_after-test5-inf-dpor.txt │ │ ├── send_after-test6-inf-dpor.txt │ │ ├── send_after-test7-inf-dpor.txt │ │ ├── send_after-test8-inf-dpor.txt │ │ ├── send_after-test9-inf-dpor.txt │ │ ├── send_after-testA-inf-dpor.txt │ │ ├── send_after-testB-inf-dpor.txt │ │ ├── send_after-testC-inf-dpor.txt │ │ ├── send_after_trouble-test-inf-dpor.txt │ │ ├── send_named_vs_send-send_named_vs_send-inf-dpor.txt │ │ ├── send_receive_dependencies-send_receive_dependencies-inf-dpor.txt │ │ ├── send_self-test-inf-dpor.txt │ │ ├── send_self-test1-inf-dpor.txt │ │ ├── send_self-test2-inf-dpor.txt │ │ ├── send_self-test3-inf-dpor.txt │ │ ├── send_using_names-send_using_names-inf-dpor.txt │ │ ├── send_vs_trap_exit-send_vs_trap_exit-inf-dpor.txt │ │ ├── signals_vs_messages-test-inf-dpor.txt │ │ ├── signals_vs_messages-test1-inf-dpor.txt │ │ ├── simple_ets-simple_ets-inf-dpor.txt │ │ ├── simple_spawn-simple_spawn-inf-dpor.txt │ │ ├── sleep_set_block_not_bad-test-inf-persistent.txt │ │ ├── spawn_and_send-spawn_and_send-inf-dpor.txt │ │ ├── spawn_bad-test-inf-dpor.txt │ │ ├── spawn_failure-spawn_failure-inf-dpor.txt │ │ ├── spawn_monitor_test-spawn_monitor_test-inf-dpor.txt │ │ ├── spawned_sender_crasher-spawned_sender_crasher-inf-dpor.txt │ │ ├── spawned_senders-spawned_senders-inf-dpor.txt │ │ ├── stacktrace_vs_exit-test-inf-optimal.txt │ │ ├── system_info-test-inf-optimal.txt │ │ ├── system_instant_delivery-test-inf-optimal.txt │ │ ├── system_non_instant_delivery-test-inf-optimal.txt │ │ ├── timers_afters_exits_crashes-both_crash-inf-dpor.txt │ │ ├── timers_afters_exits_crashes-child_crashes-inf-dpor.txt │ │ ├── timers_afters_exits_crashes-my_exit_bad-inf-dpor.txt │ │ ├── timers_afters_exits_crashes-my_exit_ok-inf-dpor.txt │ │ ├── timers_afters_exits_crashes-my_start_timer-inf-dpor.txt │ │ ├── timestamps-exit_system_time0-inf-optimal.txt │ │ ├── timestamps-exit_system_time1-inf-optimal.txt │ │ ├── timestamps-exit_timestamp-inf-optimal.txt │ │ ├── timestamps-other_system_time0-inf-optimal.txt │ │ ├── timestamps-other_system_time1-inf-optimal.txt │ │ ├── timestamps-other_timestamp-inf-optimal.txt │ │ ├── trace_the_sender-trace_the_sender-inf-dpor.txt │ │ ├── transparent_instrumentation-test-inf-dpor.txt │ │ ├── trigger_the_after-trigger_the_after-inf-dpor.txt │ │ ├── unregister_deadlocked-test1-inf-dpor.txt │ │ └── waiting-waiting-inf-dpor.txt │ └── src │ │ ├── ac_tab_delete_crash.erl │ │ ├── ac_tab_insert.erl │ │ ├── after_test_2.erl │ │ ├── after_test_3.erl │ │ ├── after_vs_trap_exit.erl │ │ ├── allow_first_crash.erl │ │ ├── application_check.erl │ │ ├── assert_filter.erl │ │ ├── assert_tip.erl │ │ ├── bad_dictionary.erl │ │ ├── bad_whereis.erl │ │ ├── code_when_undef.erl │ │ ├── concuerror_crash.erl │ │ ├── curious_builtins.erl │ │ ├── dead_receive.erl │ │ ├── deeper_exit.erl │ │ ├── demonitor_exhaustive.erl │ │ ├── demonitor_flush.erl │ │ ├── demonitor_sane_opts.erl │ │ ├── depth_bound.erl │ │ ├── erlang_display.erl │ │ ├── erlang_display_string.erl │ │ ├── ets_delete.erl │ │ ├── ets_delete_2.erl │ │ ├── ets_delete_all.erl │ │ ├── ets_delete_object.erl │ │ ├── ets_exceptions.erl │ │ ├── ets_give_away.erl │ │ ├── ets_global_global.erl │ │ ├── ets_heir.erl │ │ ├── ets_heir_2.erl │ │ ├── ets_info.erl │ │ ├── ets_info_details.erl │ │ ├── ets_insert_new.erl │ │ ├── ets_insert_objects.erl │ │ ├── ets_many_insert_new.erl │ │ ├── ets_new.erl │ │ ├── ets_new_failure.erl │ │ ├── ets_new_failure_2.erl │ │ ├── ets_new_failure_3.erl │ │ ├── ets_ref_keys.erl │ │ ├── ets_rename.erl │ │ ├── ets_select.erl │ │ ├── ets_unguarded.erl │ │ ├── ets_unnamed.erl │ │ ├── ets_update_counter.erl │ │ ├── ets_update_element.erl │ │ ├── ets_whereis.erl │ │ ├── exit.erl │ │ ├── exit_kill.erl │ │ ├── exit_message_unpredicted.erl │ │ ├── file_read_file.erl │ │ ├── fun_fail.erl │ │ ├── group_leader.erl │ │ ├── group_leader2.erl │ │ ├── group_leader3.erl │ │ ├── halt_error.erl │ │ ├── halt_support.erl │ │ ├── hibernate.erl │ │ ├── hopeless_after.erl │ │ ├── i_hate_myself.erl │ │ ├── ignore_error_1.erl │ │ ├── ignore_error_2.erl │ │ ├── ignore_error_3.erl │ │ ├── immediate_delivery.erl │ │ ├── infinite_loop.erl │ │ ├── init_race_condition.erl │ │ ├── inspect_system.erl │ │ ├── instr_apply.erl │ │ ├── io_error.erl │ │ ├── io_format.erl │ │ ├── io_format_2.erl │ │ ├── io_format_3.erl │ │ ├── irrelevant_send.erl │ │ ├── is_process_alive_1.erl │ │ ├── keep_going.erl │ │ ├── kill_running_waiting.erl │ │ ├── late_hope.erl │ │ ├── lid_test.erl │ │ ├── link_after.erl │ │ ├── load_before_start.erl │ │ ├── log_all.erl │ │ ├── main_and_backup.erl │ │ ├── many_kill.erl │ │ ├── many_links.erl │ │ ├── many_monitors.erl │ │ ├── many_send_to_dead.erl │ │ ├── many_send_to_dead_2.erl │ │ ├── message_queue_length.erl │ │ ├── messed_deliveries.erl │ │ ├── module_loaded_dep.erl │ │ ├── monitor_demonitor.erl │ │ ├── monitor_failure.erl │ │ ├── monitor_info.erl │ │ ├── monitor_missing_messages.erl │ │ ├── monitor_named.erl │ │ ├── monitor_order.erl │ │ ├── monotonic_time.erl │ │ ├── node_names.erl │ │ ├── nonexistent_module.erl │ │ ├── normal_exit.erl │ │ ├── normal_shutdown.erl │ │ ├── normal_tuple_exit.erl │ │ ├── os_timestamp.erl │ │ ├── pids_are_unsafe.erl │ │ ├── process_flag_link.erl │ │ ├── process_info.erl │ │ ├── processes.erl │ │ ├── processes_leader.erl │ │ ├── racing_after.erl │ │ ├── receive_after.erl │ │ ├── receive_and_after.erl │ │ ├── receive_catchall.erl │ │ ├── receive_exit.erl │ │ ├── receive_loop.erl │ │ ├── receive_with_guard.erl │ │ ├── receive_without_trapping.erl │ │ ├── register_link.erl │ │ ├── registered_1.erl │ │ ├── registered_2.erl │ │ ├── registered_send_1.erl │ │ ├── registered_send_2.erl │ │ ├── registered_send_3.erl │ │ ├── replay_sanity.erl │ │ ├── report_blocks.erl │ │ ├── reuse_raw_pid.erl │ │ ├── safeops_coverage.erl │ │ ├── sched_tests.erl │ │ ├── self_exits.erl │ │ ├── send_after.erl │ │ ├── send_after_trouble.erl │ │ ├── send_named_vs_send.erl │ │ ├── send_receive_dependencies.erl │ │ ├── send_self.erl │ │ ├── send_using_names.erl │ │ ├── send_vs_trap_exit.erl │ │ ├── signals_vs_messages.erl │ │ ├── simple_ets.erl │ │ ├── simple_spawn.erl │ │ ├── sleep_set_block_not_bad.erl │ │ ├── spawn_and_send.erl │ │ ├── spawn_bad.erl │ │ ├── spawn_failure.erl │ │ ├── spawn_monitor_test.erl │ │ ├── spawned_sender_crasher.erl │ │ ├── spawned_senders.erl │ │ ├── stacktrace_vs_exit.erl │ │ ├── system_info.erl │ │ ├── system_instant_delivery.erl │ │ ├── system_non_instant_delivery.erl │ │ ├── timers_afters_exits_crashes.erl │ │ ├── timestamps.erl │ │ ├── trace_the_sender.erl │ │ ├── transparent_instrumentation.erl │ │ ├── trigger_the_after.erl │ │ ├── unregister_deadlocked.erl │ │ ├── unsupported_exit.erl │ │ └── waiting.erl ├── bounding_tests │ ├── results │ │ ├── manolis-test_2workers_small-1-bpor-source.txt │ │ ├── readers-test-0-dpor.txt │ │ ├── readers-test-1-dpor.txt │ │ ├── readers-test-2-dpor.txt │ │ ├── readers-test-3-dpor.txt │ │ ├── readers-test-4-dpor.txt │ │ ├── readers-test-5-dpor.txt │ │ ├── readers-test-6-dpor.txt │ │ ├── readers-test-7-dpor.txt │ │ ├── readers_2-test-0-dpor.txt │ │ ├── readers_2-test-1-dpor.txt │ │ ├── readers_2-test-2-dpor.txt │ │ ├── readers_2-test-3-dpor.txt │ │ ├── readers_2-test-4-dpor.txt │ │ ├── readers_2-test-5-dpor.txt │ │ ├── readers_2-test-6-dpor.txt │ │ ├── readers_2-test-7-dpor.txt │ │ ├── readers_compare-test-0-bpor-persistent.txt │ │ ├── readers_compare-test-0-bpor-source.txt │ │ ├── readers_compare-test-0-optimal.txt │ │ ├── readers_compare-test-0-persistent.txt │ │ ├── readers_compare-test-0-source.txt │ │ ├── readers_compare-test-1-bpor-persistent.txt │ │ ├── readers_compare-test-1-bpor-source.txt │ │ ├── readers_compare-test-1-optimal.txt │ │ ├── readers_compare-test-1-persistent.txt │ │ ├── readers_compare-test-1-source.txt │ │ ├── readers_compare-test-2-bpor-persistent.txt │ │ ├── readers_compare-test-2-bpor-source.txt │ │ ├── readers_compare-test-2-optimal.txt │ │ ├── readers_compare-test-2-persistent.txt │ │ ├── readers_compare-test-2-source.txt │ │ ├── readers_compare-test-6-bpor-persistent.txt │ │ ├── readers_compare-test-6-bpor-source.txt │ │ ├── readers_compare-test-6-optimal.txt │ │ ├── readers_compare-test-6-persistent.txt │ │ ├── readers_compare-test-6-source.txt │ │ ├── readers_delay-test-0-nodpor.txt │ │ ├── readers_delay-test-1-nodpor.txt │ │ ├── readers_delay-test-2-nodpor.txt │ │ ├── readers_delay-test-3-nodpor.txt │ │ ├── readers_delay-test-4-nodpor.txt │ │ ├── readers_delay-test-5-nodpor.txt │ │ ├── readers_delay-test-6-nodpor.txt │ │ ├── readers_no_preempt-test-0-bpor-persistent.txt │ │ ├── readers_no_preempt-test-0-bpor-source.txt │ │ ├── readers_no_preempt-test-0-optimal.txt │ │ ├── readers_no_preempt-test-0-persistent.txt │ │ ├── readers_no_preempt-test-0-source.txt │ │ ├── readers_no_preempt-test-1-bpor-persistent.txt │ │ ├── readers_no_preempt-test-1-bpor-source.txt │ │ ├── readers_no_preempt-test-1-optimal.txt │ │ ├── readers_no_preempt-test-1-persistent.txt │ │ ├── readers_no_preempt-test-1-source.txt │ │ ├── readers_no_preempt-test-2-bpor-persistent.txt │ │ ├── readers_no_preempt-test-2-bpor-source.txt │ │ ├── readers_no_preempt-test-2-optimal.txt │ │ ├── readers_no_preempt-test-2-persistent.txt │ │ ├── readers_no_preempt-test-2-source.txt │ │ ├── simple_delay-test-0-dpor.txt │ │ ├── simple_delay-test-1-dpor.txt │ │ ├── simple_delay-test-2-dpor.txt │ │ ├── writers-test-0-dpor.txt │ │ ├── writers-test-1-dpor.txt │ │ ├── writers-test-2-dpor.txt │ │ ├── writers-test-3-dpor.txt │ │ ├── writers-test-4-dpor.txt │ │ ├── writers-test-5-dpor.txt │ │ ├── writers-test-6-dpor.txt │ │ └── writers-test-7-dpor.txt │ └── src │ │ ├── manolis │ │ ├── rush_hour.erl │ │ ├── search.erl │ │ └── test.erl │ │ ├── readers.erl │ │ ├── readers_2.erl │ │ ├── readers_compare.erl │ │ ├── readers_delay.erl │ │ ├── readers_no_preempt.erl │ │ ├── simple_delay.erl │ │ └── writers.erl ├── corner_tests │ ├── results │ │ └── deliver_exhaustive-test-inf-nodpor.txt │ └── src │ │ └── deliver_exhaustive.erl ├── dpor_tests │ ├── results │ │ ├── POPL_optimal_example-test-inf-dpor.txt │ │ ├── POPL_optimal_example-test-inf-source.txt │ │ ├── after_test-after_test-inf-dpor.txt │ │ ├── after_test_reduced-after_test_reduced-inf-dpor.txt │ │ ├── combination_lock_1-combination_lock_1-inf-dpor.txt │ │ ├── combination_lock_1-combination_lock_1-inf-source.txt │ │ ├── complete_test_1-complete_test_1-inf-dpor.txt │ │ ├── complete_test_2-complete_test_2-inf-dpor.txt │ │ ├── conditional_readers-conditional_readers-inf-dpor.txt │ │ ├── conditional_readers_2-conditional_readers_2-inf-dpor.txt │ │ ├── conditional_readers_3-conditional_readers_3-inf-dpor.txt │ │ ├── depend_1-depend_1-inf-dpor.txt │ │ ├── depend_2-depend_2-inf-dpor.txt │ │ ├── depend_3-depend_3-inf-dpor.txt │ │ ├── depend_4-depend_4-inf-dpor.txt │ │ ├── depend_4_screen-depend_4_screen-inf-dpor.txt │ │ ├── depend_5-depend_5-inf-dpor.txt │ │ ├── depend_6-depend_6-inf-dpor.txt │ │ ├── depend_6_newest-test-inf-dpor.txt │ │ ├── depend_6_round-test-inf-dpor.txt │ │ ├── diff_dep_1-diff_dep_1-inf-dpor.txt │ │ ├── diff_dep_2-diff_dep_2-inf-dpor.txt │ │ ├── diff_dep_3-diff_dep_3-inf-dpor.txt │ │ ├── diff_obs-test-inf-optimal.txt │ │ ├── difficult_readers-difficult_readers-inf-dpor.txt │ │ ├── ets_cross-test-inf-dpor.txt │ │ ├── ets_dependencies-ets_dependencies-inf-dpor.txt │ │ ├── ets_dependencies_2-ets_dependencies_2-inf-dpor.txt │ │ ├── ets_dependencies_3-ets_dependencies_3-inf-dpor.txt │ │ ├── ets_dependencies_deeper-ets_dependencies_deeper-inf-dpor.txt │ │ ├── ets_dependencies_deeper_2-ets_dependencies_deeper_2-inf-dpor.txt │ │ ├── ets_dependencies_n-ets_dependencies_n-inf-dpor.txt │ │ ├── ets_writing_same-ets_writing_same-inf-dpor.txt │ │ ├── etsi-etsi-inf-dpor.txt │ │ ├── etsi_2-etsi_2-inf-dpor.txt │ │ ├── etsi_3-etsi_3-inf-dpor.txt │ │ ├── etsi_4-etsi_4-inf-dpor.txt │ │ ├── etsi_5-etsi_5-inf-dpor.txt │ │ ├── etsi_6-etsi_6-inf-dpor.txt │ │ ├── etsi_7-etsi_7-inf-dpor.txt │ │ ├── etsi_8-etsi_8-inf-dpor.txt │ │ ├── file_system_example-test-inf-dpor.txt │ │ ├── hairbrush_teeth_1-hairbrush_teeth_1-inf-dpor.txt │ │ ├── hairbrush_teeth_2-hairbrush_teeth_2-inf-dpor.txt │ │ ├── hairbrush_teeth_3-hairbrush_teeth_3-inf-dpor.txt │ │ ├── hairbrush_teeth_4-hairbrush_teeth_4-inf-dpor.txt │ │ ├── independent_receivers-independent_receivers-inf-dpor.txt │ │ ├── indifferent_senders-indifferent_senders-inf-dpor.txt │ │ ├── last_zero-test-inf-dpor.txt │ │ ├── last_zero-test-inf-source.txt │ │ ├── long_chain-long_chain-inf-dpor.txt │ │ ├── many_initials-many_initials-inf-dpor.txt │ │ ├── many_kill_2-test-inf-dpor.txt │ │ ├── manywrite-manywrite-inf-dpor.txt │ │ ├── manywrite_2-manywrite_2-inf-dpor.txt │ │ ├── messages_1-messages_1-inf-dpor.txt │ │ ├── messages_2-test-inf-dpor.txt │ │ ├── no_observers-test-inf-optimal.txt │ │ ├── not_prerequisite_1-not_prerequisite_1-inf-dpor.txt │ │ ├── observable_others-dep_obs-inf-optimal.txt │ │ ├── observable_others-dep_unobs-inf-optimal.txt │ │ ├── observable_others-indep_obs-inf-optimal.txt │ │ ├── observable_others-indep_unobs-inf-optimal.txt │ │ ├── precise_demonitor-demonitor_empty-inf-optimal.txt │ │ ├── precise_demonitor-demonitor_flush-inf-optimal.txt │ │ ├── precise_demonitor-demonitor_flush_info-inf-optimal.txt │ │ ├── precise_demonitor-demonitor_info-inf-optimal.txt │ │ ├── priorities-priorities-inf-dpor.txt │ │ ├── process_info-links-inf-optimal.txt │ │ ├── proxy-proxy-inf-dpor.txt │ │ ├── proxy2-proxy2-inf-dpor.txt │ │ ├── readers-test-inf-optimal.txt │ │ ├── readers-test-inf-persistent.txt │ │ ├── readers-test-inf-source.txt │ │ ├── readers_basic-readers_basic-inf-dpor.txt │ │ ├── readers_rrw-readers_rrw-inf-dpor.txt │ │ ├── readers_rwr-readers_rwr-inf-dpor.txt │ │ ├── readers_wrr-readers_wrr-inf-dpor.txt │ │ ├── receive_order-test1-inf-dpor.txt │ │ ├── receive_order-test2-inf-dpor.txt │ │ ├── receive_order-test3-inf-dpor.txt │ │ ├── register_again-register_again-inf-dpor.txt │ │ ├── register_again_2-register_again_2-inf-dpor.txt │ │ ├── same_messages-same_messages-inf-dpor.txt │ │ ├── same_messages_2-same_messages_2-inf-dpor.txt │ │ ├── same_messages_3-same_messages_3-inf-dpor.txt │ │ ├── same_messages_4-same_messages_4-inf-dpor.txt │ │ ├── send_it_ets-send_it_ets-inf-dpor.txt │ │ ├── sleeping_races_1-sleeping_races_1-inf-dpor.txt │ │ ├── sleeping_races_2-sleeping_races_2-inf-dpor.txt │ │ ├── sleeping_races_3_read-sleeping_races_3_read-inf-dpor.txt │ │ ├── sleeping_races_3_write-sleeping_races_3_write-inf-dpor.txt │ │ ├── sleeping_races_4-sleeping_races_4-inf-dpor.txt │ │ ├── sleeping_races_5-sleeping_races_5-inf-dpor.txt │ │ ├── sleeping_races_6-sleeping_races_6-inf-dpor.txt │ │ ├── sleeping_races_6-sleeping_races_6-inf-source.txt │ │ ├── sleeping_races_7-sleeping_races_7-inf-dpor.txt │ │ ├── sleeping_races_8-sleeping_races_8-inf-dpor.txt │ │ ├── stress-stress-inf-dpor.txt │ │ ├── sync_start-sync_start-inf-dpor.txt │ │ ├── test_after_spawns-test_after_spawns-inf-dpor.txt │ │ ├── timer_replayed-test-inf-dpor.txt │ │ ├── tricky_predecessors-tricky_predecessors-inf-dpor.txt │ │ ├── two_writers_readers_1-two_writers_readers_1-inf-dpor.txt │ │ ├── two_writers_readers_2-two_writers_readers_2-inf-dpor.txt │ │ ├── wakeup_many-wakeup_many-inf-dpor.txt │ │ ├── workers-workers-inf-dpor.txt │ │ ├── workers_2-workers_2-inf-dpor.txt │ │ └── writeread-writeread-inf-dpor.txt │ └── src │ │ ├── POPL_optimal_example.erl │ │ ├── after_test.erl │ │ ├── after_test_reduced.erl │ │ ├── combination_lock_1.erl │ │ ├── complete_test_1.erl │ │ ├── complete_test_2.erl │ │ ├── conditional_readers.erl │ │ ├── conditional_readers_2.erl │ │ ├── conditional_readers_3.erl │ │ ├── depend_1.erl │ │ ├── depend_2.erl │ │ ├── depend_3.erl │ │ ├── depend_4.erl │ │ ├── depend_4_screen.erl │ │ ├── depend_5.erl │ │ ├── depend_6.erl │ │ ├── depend_6_newest.erl │ │ ├── depend_6_round.erl │ │ ├── diff_dep_1.erl │ │ ├── diff_dep_2.erl │ │ ├── diff_dep_3.erl │ │ ├── diff_obs.erl │ │ ├── difficult_readers.erl │ │ ├── ets_cross.erl │ │ ├── ets_dependencies.erl │ │ ├── ets_dependencies_2.erl │ │ ├── ets_dependencies_3.erl │ │ ├── ets_dependencies_deeper.erl │ │ ├── ets_dependencies_deeper_2.erl │ │ ├── ets_dependencies_n.erl │ │ ├── ets_writing_same.erl │ │ ├── etsi.erl │ │ ├── etsi_2.erl │ │ ├── etsi_3.erl │ │ ├── etsi_4.erl │ │ ├── etsi_5.erl │ │ ├── etsi_6.erl │ │ ├── etsi_7.erl │ │ ├── etsi_8.erl │ │ ├── file_system_example.erl │ │ ├── hairbrush_teeth_1.erl │ │ ├── hairbrush_teeth_2.erl │ │ ├── hairbrush_teeth_3.erl │ │ ├── hairbrush_teeth_4.erl │ │ ├── independent_receivers.erl │ │ ├── indifferent_senders.erl │ │ ├── last_zero.erl │ │ ├── long_chain.erl │ │ ├── many_initials.erl │ │ ├── many_kill_2.erl │ │ ├── manywrite.erl │ │ ├── manywrite_2.erl │ │ ├── messages_1.erl │ │ ├── messages_2.erl │ │ ├── no_observers.erl │ │ ├── not_prerequisite_1.erl │ │ ├── observable_others.erl │ │ ├── precise_demonitor.erl │ │ ├── priorities.erl │ │ ├── process_info.erl │ │ ├── proxy.erl │ │ ├── proxy2.erl │ │ ├── readers.erl │ │ ├── readers_basic.erl │ │ ├── readers_rrw.erl │ │ ├── readers_rwr.erl │ │ ├── readers_wrr.erl │ │ ├── receive_order.erl │ │ ├── register_again.erl │ │ ├── register_again_2.erl │ │ ├── same_messages.erl │ │ ├── same_messages_2.erl │ │ ├── same_messages_3.erl │ │ ├── same_messages_4.erl │ │ ├── send_it_ets.erl │ │ ├── sleeping_races_1.erl │ │ ├── sleeping_races_2.erl │ │ ├── sleeping_races_3_read.erl │ │ ├── sleeping_races_3_write.erl │ │ ├── sleeping_races_4.erl │ │ ├── sleeping_races_5.erl │ │ ├── sleeping_races_6.erl │ │ ├── sleeping_races_7.erl │ │ ├── sleeping_races_8.erl │ │ ├── stress.erl │ │ ├── sync_start.erl │ │ ├── test_after_spawns.erl │ │ ├── timer_replayed.erl │ │ ├── tricky_predecessors.erl │ │ ├── two_writers_readers_1.erl │ │ ├── two_writers_readers_2.erl │ │ ├── wakeup_many.erl │ │ ├── workers.erl │ │ ├── workers_2.erl │ │ └── writeread.erl └── erlang_tests │ ├── results │ ├── erlang_maps-maps_fold-inf-optimal.txt │ ├── erlang_timer-cancel_bad-inf-optimal.txt │ ├── erlang_timer-cancel_badarg-inf-optimal.txt │ ├── erlang_timer-read_bad-inf-optimal.txt │ └── erlang_timer-read_badarg-inf-optimal.txt │ └── src │ ├── erlang_maps.erl │ └── erlang_timer.erl ├── test_template.erl └── test_template_stripped.erl /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/other-issue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/ISSUE_TEMPLATE/other-issue.md -------------------------------------------------------------------------------- /.github/codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/codecov.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/scripts/covertool_combine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/scripts/covertool_combine -------------------------------------------------------------------------------- /.github/scripts/covertool_setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/scripts/covertool_setup -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.github/workflows/website.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.github/workflows/website.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/README.md -------------------------------------------------------------------------------- /bin/.gitignore: -------------------------------------------------------------------------------- 1 | concuerror 2 | -------------------------------------------------------------------------------- /cover/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/cover/.gitignore -------------------------------------------------------------------------------- /cover/cover-report: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/cover/cover-report -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/doc/.gitignore -------------------------------------------------------------------------------- /doc/Gemfile: -------------------------------------------------------------------------------- 1 | source 'https://rubygems.org' 2 | 3 | gem "html-proofer" 4 | -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/overview.edoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/doc/overview.edoc -------------------------------------------------------------------------------- /docs/.bundle/config: -------------------------------------------------------------------------------- 1 | --- 2 | BUNDLE_PATH: "vendor/bundle" 3 | -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | /_site 2 | .jekyll-cache 3 | vendor 4 | -------------------------------------------------------------------------------- /docs/404.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/404.md -------------------------------------------------------------------------------- /docs/CNAME: -------------------------------------------------------------------------------- 1 | concuerror.com -------------------------------------------------------------------------------- /docs/Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/Gemfile -------------------------------------------------------------------------------- /docs/Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/Gemfile.lock -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/_config_local.yml: -------------------------------------------------------------------------------- 1 | url: "" 2 | -------------------------------------------------------------------------------- /docs/_data/authors.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_data/authors.yml -------------------------------------------------------------------------------- /docs/_data/navigation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_data/navigation.yml -------------------------------------------------------------------------------- /docs/_data/text.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_data/text.yml -------------------------------------------------------------------------------- /docs/_includes/footer-custom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_includes/footer-custom.html -------------------------------------------------------------------------------- /docs/_includes/head-custom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_includes/head-custom.html -------------------------------------------------------------------------------- /docs/_includes/masthead.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_includes/masthead.html -------------------------------------------------------------------------------- /docs/_includes/yt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_includes/yt.html -------------------------------------------------------------------------------- /docs/_posts/2013-09-03-site.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2013-09-03-site.md -------------------------------------------------------------------------------- /docs/_posts/2013-09-23-euc-2013.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2013-09-23-euc-2013.md -------------------------------------------------------------------------------- /docs/_posts/2014-06-02-poolboy-example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2014-06-02-poolboy-example.md -------------------------------------------------------------------------------- /docs/_posts/2014-06-03-poolboy-example-errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2014-06-03-poolboy-example-errors.md -------------------------------------------------------------------------------- /docs/_posts/2014-08-11-euc-2014.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2014-08-11-euc-2014.md -------------------------------------------------------------------------------- /docs/_posts/2015-06-10-euc-2015.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2015-06-10-euc-2015.md -------------------------------------------------------------------------------- /docs/_posts/2017-08-14-euc-2017-talk.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-08-14-euc-2017-talk.md -------------------------------------------------------------------------------- /docs/_posts/2017-08-14-euc-2017-tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-08-14-euc-2017-tutorial.md -------------------------------------------------------------------------------- /docs/_posts/2017-10-03-publications-update.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-10-03-publications-update.md -------------------------------------------------------------------------------- /docs/_posts/2017-10-08-concuerror-eunit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-10-08-concuerror-eunit.md -------------------------------------------------------------------------------- /docs/_posts/2017-10-14-concuerring-concuerror-ep-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-10-14-concuerring-concuerror-ep-1.md -------------------------------------------------------------------------------- /docs/_posts/2017-11-06-Announcing-Mailing-List.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2017-11-06-Announcing-Mailing-List.md -------------------------------------------------------------------------------- /docs/_posts/2018-07-15-hex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2018-07-15-hex.md -------------------------------------------------------------------------------- /docs/_posts/2020-10-10-tips.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2020-10-10-tips.md -------------------------------------------------------------------------------- /docs/_posts/2020-10-17-code-beam-sf-2019.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2020-10-17-code-beam-sf-2019.md -------------------------------------------------------------------------------- /docs/_posts/2020-10-17-functional-conf-2018.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2020-10-17-functional-conf-2018.md -------------------------------------------------------------------------------- /docs/_posts/2020-10-24-basic-tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/_posts/2020-10-24-basic-tutorial.md -------------------------------------------------------------------------------- /docs/assets/pdf/CodeBEAMSF2019.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/assets/pdf/CodeBEAMSF2019.pdf -------------------------------------------------------------------------------- /docs/assets/pdf/ICST2013.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/assets/pdf/ICST2013.pdf -------------------------------------------------------------------------------- /docs/assets/pdf/iFM2017.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/assets/pdf/iFM2017.pdf -------------------------------------------------------------------------------- /docs/contact.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/contact.md -------------------------------------------------------------------------------- /docs/download.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/download.md -------------------------------------------------------------------------------- /docs/faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/faq.md -------------------------------------------------------------------------------- /docs/feed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/feed.xml -------------------------------------------------------------------------------- /docs/images/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/images/favicon.ico -------------------------------------------------------------------------------- /docs/images/site-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/images/site-logo.png -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/news.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/news.md -------------------------------------------------------------------------------- /docs/publications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/publications.md -------------------------------------------------------------------------------- /docs/search.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/search.md -------------------------------------------------------------------------------- /docs/sitemap.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/sitemap.xml -------------------------------------------------------------------------------- /docs/tutorials.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/docs/tutorials.md -------------------------------------------------------------------------------- /elvis.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/elvis.config -------------------------------------------------------------------------------- /priv/concuerror: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/priv/concuerror -------------------------------------------------------------------------------- /priv/generate_option_docfiles: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/priv/generate_option_docfiles -------------------------------------------------------------------------------- /priv/generate_version_hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/priv/generate_version_hrl -------------------------------------------------------------------------------- /rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/rebar.config -------------------------------------------------------------------------------- /rebar.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/rebar.lock -------------------------------------------------------------------------------- /resources/DPOR_paper_material/DPOR_README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/DPOR_README -------------------------------------------------------------------------------- /resources/DPOR_paper_material/foo.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/foo.erl -------------------------------------------------------------------------------- /resources/DPOR_paper_material/foobar.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/foobar.erl -------------------------------------------------------------------------------- /resources/DPOR_paper_material/my_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/my_test.erl -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_dialyzer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_dialyzer.sh -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_filesystem.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_filesystem.sh -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_indexer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_indexer.sh -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_last_zero.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_last_zero.sh -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_readers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_readers.sh -------------------------------------------------------------------------------- /resources/DPOR_paper_material/run_rush_hour.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/DPOR_paper_material/run_rush_hour.sh -------------------------------------------------------------------------------- /resources/bash_completion/concuerror: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/bash_completion/concuerror -------------------------------------------------------------------------------- /resources/erlang_questions/dets_bugs/alt_dets_bugs.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/erlang_questions/dets_bugs/alt_dets_bugs.erl -------------------------------------------------------------------------------- /resources/erlang_questions/dets_bugs/dets_bugs.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/erlang_questions/dets_bugs/dets_bugs.erl -------------------------------------------------------------------------------- /resources/flanagan.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/flanagan.erl -------------------------------------------------------------------------------- /resources/how-to-release.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/how-to-release.md -------------------------------------------------------------------------------- /resources/old_include/gen.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_include/gen.hrl -------------------------------------------------------------------------------- /resources/old_include/gui.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_include/gui.hrl -------------------------------------------------------------------------------- /resources/old_include/instr.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_include/instr.hrl -------------------------------------------------------------------------------- /resources/old_source/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/LICENSE -------------------------------------------------------------------------------- /resources/old_source/concuerror.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_deps.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_deps.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_error.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_error.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_gui.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_gui.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_instr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_instr.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_io_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_io_server.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_lid.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_lid.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_log.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_log.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_proc_action.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_proc_action.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_rep.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_rep.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_sched.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_sched.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_state.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_state.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_ticket.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_ticket.erl -------------------------------------------------------------------------------- /resources/old_source/concuerror_util.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/old_source/concuerror_util.erl -------------------------------------------------------------------------------- /resources/perm_tests/run_perm_tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/run_perm_tests -------------------------------------------------------------------------------- /resources/perm_tests/src/complete_test_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/complete_test_3.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/conditional_readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/conditional_readers_3.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_4_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_4_1.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_4_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_4_2.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_4_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_4_3.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_6_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_6_1.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_6_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_6_2.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_6_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_6_3.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_6_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_6_4.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/depend_6_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/depend_6_5.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/etsi.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/etsi.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/readers_2.erl -------------------------------------------------------------------------------- /resources/perm_tests/src/readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/perm_tests/src/readers_3.erl -------------------------------------------------------------------------------- /resources/syntax/block_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/syntax/block_after.erl -------------------------------------------------------------------------------- /resources/syntax/non_local_pat.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/syntax/non_local_pat.erl -------------------------------------------------------------------------------- /resources/syntax/rec_uscore.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/syntax/rec_uscore.erl -------------------------------------------------------------------------------- /resources/syntax/strip_attr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/syntax/strip_attr.erl -------------------------------------------------------------------------------- /resources/tdd/reg_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/tdd/reg_server.erl -------------------------------------------------------------------------------- /resources/tdd/reg_server.hrl: -------------------------------------------------------------------------------- 1 | -define(MAX_ATTACHED, 2). 2 | -------------------------------------------------------------------------------- /resources/tdd/reg_server_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/tdd/reg_server_tests.erl -------------------------------------------------------------------------------- /resources/utest/concuerror_error_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/utest/concuerror_error_tests.erl -------------------------------------------------------------------------------- /resources/utest/concuerror_instr_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/utest/concuerror_instr_tests.erl -------------------------------------------------------------------------------- /resources/utest/concuerror_lid_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/utest/concuerror_lid_tests.erl -------------------------------------------------------------------------------- /resources/utest/concuerror_state_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/utest/concuerror_state_tests.erl -------------------------------------------------------------------------------- /resources/utest/concuerror_ticket_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/resources/utest/concuerror_ticket_tests.erl -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- 1 | concuerror_otp_version.hrl 2 | -------------------------------------------------------------------------------- /src/concuerror.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror.app.src -------------------------------------------------------------------------------- /src/concuerror.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror.erl -------------------------------------------------------------------------------- /src/concuerror.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror.hrl -------------------------------------------------------------------------------- /src/concuerror_callback.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_callback.erl -------------------------------------------------------------------------------- /src/concuerror_dependencies.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_dependencies.erl -------------------------------------------------------------------------------- /src/concuerror_estimator.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_estimator.erl -------------------------------------------------------------------------------- /src/concuerror_inspect.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_inspect.erl -------------------------------------------------------------------------------- /src/concuerror_instrumenter.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_instrumenter.erl -------------------------------------------------------------------------------- /src/concuerror_io_lib.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_io_lib.erl -------------------------------------------------------------------------------- /src/concuerror_loader.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_loader.erl -------------------------------------------------------------------------------- /src/concuerror_logger.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_logger.erl -------------------------------------------------------------------------------- /src/concuerror_options.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_options.erl -------------------------------------------------------------------------------- /src/concuerror_scheduler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_scheduler.erl -------------------------------------------------------------------------------- /src/concuerror_window_average.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/src/concuerror_window_average.erl -------------------------------------------------------------------------------- /test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/test/README.md -------------------------------------------------------------------------------- /test/concuerror_logger_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/test/concuerror_logger_tests.erl -------------------------------------------------------------------------------- /test/concuerror_options_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/test/concuerror_options_tests.erl -------------------------------------------------------------------------------- /tests-real/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/Makefile -------------------------------------------------------------------------------- /tests-real/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/README.md -------------------------------------------------------------------------------- /tests-real/suites/check_version.escript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/check_version.escript -------------------------------------------------------------------------------- /tests-real/suites/erlang-litmus/.gitignore: -------------------------------------------------------------------------------- 1 | erlang-concurrency-litmus-tests 2 | -------------------------------------------------------------------------------- /tests-real/suites/erlang-litmus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/erlang-litmus/Makefile -------------------------------------------------------------------------------- /tests-real/suites/erlang-litmus/run_litmus.escript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/erlang-litmus/run_litmus.escript -------------------------------------------------------------------------------- /tests-real/suites/erlang-litmus/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/erlang-litmus/test -------------------------------------------------------------------------------- /tests-real/suites/gproc/.gitignore: -------------------------------------------------------------------------------- 1 | run 2 | gproc 3 | -------------------------------------------------------------------------------- /tests-real/suites/gproc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/Makefile -------------------------------------------------------------------------------- /tests-real/suites/gproc/ref/t_reg_or_locate2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/ref/t_reg_or_locate2.out -------------------------------------------------------------------------------- /tests-real/suites/gproc/ref/t_simple_reg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/ref/t_simple_reg.out -------------------------------------------------------------------------------- /tests-real/suites/gproc/ref/t_simple_reg_or_locate.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/ref/t_simple_reg_or_locate.out -------------------------------------------------------------------------------- /tests-real/suites/gproc/ref/test3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/ref/test3.out -------------------------------------------------------------------------------- /tests-real/suites/gproc/ref/test4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/ref/test4.out -------------------------------------------------------------------------------- /tests-real/suites/gproc/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/test -------------------------------------------------------------------------------- /tests-real/suites/gproc/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/gproc/test.erl -------------------------------------------------------------------------------- /tests-real/suites/makefile/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/makefile/Makefile -------------------------------------------------------------------------------- /tests-real/suites/makefile/footer: -------------------------------------------------------------------------------- 1 | ../options/footer -------------------------------------------------------------------------------- /tests-real/suites/makefile/header: -------------------------------------------------------------------------------- 1 | ../options/header -------------------------------------------------------------------------------- /tests-real/suites/makefile/makefile-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/makefile/makefile-tests -------------------------------------------------------------------------------- /tests-real/suites/options/.gitignore: -------------------------------------------------------------------------------- 1 | console 2 | -------------------------------------------------------------------------------- /tests-real/suites/options/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/Makefile -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete-tests -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete/autocomplete.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete/autocomplete.sh -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete/autocomplete_common.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete/autocomplete_common.erl -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete/autocomplete_help.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete/autocomplete_help.erl -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete/autocomplete_long.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete/autocomplete_long.erl -------------------------------------------------------------------------------- /tests-real/suites/options/autocomplete/autocomplete_short.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/autocomplete/autocomplete_short.erl -------------------------------------------------------------------------------- /tests-real/suites/options/footer: -------------------------------------------------------------------------------- 1 | trap - ERR 2 | 3 | print_green "SUCCESS" 4 | -------------------------------------------------------------------------------- /tests-real/suites/options/header: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/header -------------------------------------------------------------------------------- /tests-real/suites/options/option1-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/option1-tests -------------------------------------------------------------------------------- /tests-real/suites/options/option2-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/option2-tests -------------------------------------------------------------------------------- /tests-real/suites/options/option3-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/option3-tests -------------------------------------------------------------------------------- /tests-real/suites/options/other-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/other-tests -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute_1.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute_2.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute_3.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute_4.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/bad_attribute_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/bad_attribute_5.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/debug_works.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/debug_works.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/eunit_sample.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/eunit_sample.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/excluded.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/excluded.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/excluding.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/excluding.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/first_and_other_deadlock.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/first_and_other_deadlock.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/foo.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/foo.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/from_shell.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/from_shell.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/load_nif.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/load_nif.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/other_deadlock.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/other_deadlock.erl -------------------------------------------------------------------------------- /tests-real/suites/options/src/six.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/options/src/six.erl -------------------------------------------------------------------------------- /tests-real/suites/output/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/Makefile -------------------------------------------------------------------------------- /tests-real/suites/output/footer: -------------------------------------------------------------------------------- 1 | ../options/footer -------------------------------------------------------------------------------- /tests-real/suites/output/header: -------------------------------------------------------------------------------- 1 | ../options/header -------------------------------------------------------------------------------- /tests-real/suites/output/output-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/output-tests -------------------------------------------------------------------------------- /tests-real/suites/output/ref/graph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/ref/graph.dot -------------------------------------------------------------------------------- /tests-real/suites/output/src/a_fun.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/a_fun.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/buggy.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/buggy.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/deadlock.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/deadlock.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/fig3.1-ext.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/fig3.1-ext.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/harmless_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/harmless_exit.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/many_scheds.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/many_scheds.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/more_stacktrace.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/more_stacktrace.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/race_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/race_info.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/register.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/register.erl -------------------------------------------------------------------------------- /tests-real/suites/output/src/stacktrace.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/output/src/stacktrace.erl -------------------------------------------------------------------------------- /tests-real/suites/poolboy/.gitignore: -------------------------------------------------------------------------------- 1 | poolboy 2 | -------------------------------------------------------------------------------- /tests-real/suites/poolboy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/poolboy/Makefile -------------------------------------------------------------------------------- /tests-real/suites/poolboy/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/poolboy/test -------------------------------------------------------------------------------- /tests-real/suites/print_colors: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests-real/suites/print_colors -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/differ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/differ -------------------------------------------------------------------------------- /tests/results/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !.gitignore 3 | -------------------------------------------------------------------------------- /tests/runtests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/runtests.py -------------------------------------------------------------------------------- /tests/scenarios.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/scenarios.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/results/percept-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/results/percept-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/advanced_tests/results/shootout-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/results/shootout-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/gen_server_bug.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/gen_server_bug.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/indexer_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/indexer_example.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/manolis/good_testcase.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/manolis/good_testcase.txt -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/manolis/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/manolis/readme.txt -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/manolis/rush_hour.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/manolis/rush_hour.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/manolis/search.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/manolis/search.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/manolis/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/manolis/test.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/percept.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/percept.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/preemption.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/preemption.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/receive_deps.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/receive_deps.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/receive_deps_kill.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/receive_deps_kill.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/receive_pats.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/receive_pats.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/receive_patterns.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/receive_patterns.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/ring_leader_election.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/ring_leader_election.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/ring_leader_election_barrier.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/ring_leader_election_barrier.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/send_order.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/send_order.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/shared_ptr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/shared_ptr.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/shootout/pidigits.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/shootout/pidigits.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/shootout/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/shootout/test.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/shootout/thread_ring.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/shootout/thread_ring.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/simple_registry.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/simple_registry.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/source_killer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/source_killer.erl -------------------------------------------------------------------------------- /tests/suites/advanced_tests/src/vjeko_peer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/advanced_tests/src/vjeko_peer.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/assert_filter-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/assert_filter-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/bad_whereis-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/bad_whereis-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/deeper_exit-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/deeper_exit-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/depth_bound-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/depth_bound-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_heir-ets_heir-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_heir-ets_heir-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_heir-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_heir-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_heir-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_heir-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_heir-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_heir-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_new-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_new-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_new-test-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_new-test-inf.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_ref_keys-ets_ref_keys-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_ref_keys-ets_ref_keys-0.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_unnamed-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_unnamed-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_unnamed-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_unnamed-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/ets_unnamed-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/ets_unnamed-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test1-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test1-inf.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test2-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test2-inf.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test3-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test3-inf.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test4-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test5-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit-test6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit-test6-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/exit_kill-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/exit_kill-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/fun_fail-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/fun_fail-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/fun_fail-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/fun_fail-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/fun_fail-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/fun_fail-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/group_leader-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/group_leader-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/group_leader-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/group_leader-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/group_leader2-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/group_leader2-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/group_leader3-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/group_leader3-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/hibernate-test-inf-optimal.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/hibernate-test-inf-optimal.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/init_race_condition-test-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 224 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/instr_apply-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/instr_apply-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/instr_apply-test-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/instr_apply-test-inf.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/io_error-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/io_error-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/io_format-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/io_format-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/io_format_2-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/io_format_2-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/io_format_3-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/io_format_3-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/keep_going-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/keep_going-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/lid_test-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/lid_test-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/many_kill-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/many_kill-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/monitor_info-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/monitor_info-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/monitor_info-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/monitor_info-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/monitor_named-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/monitor_named-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/node_names-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/node_names-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/node_names-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/node_names-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/os_timestamp-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/os_timestamp-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/process_info-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/process_info-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/process_info-test2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Summary: 3 errors, 3/3 interleavings explored 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/process_info-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/process_info-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/processes-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/processes-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/processes-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/processes-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/racing_after-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/racing_after-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/receive_exit-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/receive_exit-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/receive_exit-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/receive_exit-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/receive_exit-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/receive_exit-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/receive_exit-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/receive_exit-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/report_blocks-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/report_blocks-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/reuse_raw_pid-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/reuse_raw_pid-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-0.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-2.txt: -------------------------------------------------------------------------------- 1 | Checked 5 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_receive_exit-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 5 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-0.txt: -------------------------------------------------------------------------------- 1 | Checked 8 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-1.txt: -------------------------------------------------------------------------------- 1 | Checked 44 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-2.txt: -------------------------------------------------------------------------------- 1 | Checked 136 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-3-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-3.txt: -------------------------------------------------------------------------------- 1 | Checked 275 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-4-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-4.txt: -------------------------------------------------------------------------------- 1 | Checked 392 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-5-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-5.txt: -------------------------------------------------------------------------------- 1 | Checked 458 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-6-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-6.txt: -------------------------------------------------------------------------------- 1 | Checked 481 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-7-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-7.txt: -------------------------------------------------------------------------------- 1 | Checked 483 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_3_proc_send_receive-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 483 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_after_clause_preemption-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_after_clause_preemption-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_0-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_0-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_0-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_1-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_1-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_halt_1-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_monitor_unexisting-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_monitor_unexisting-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_nested_send_receive_block_twice-2.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/sched_tests-test_receive-0.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_block_expr_action-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_block_expr_action-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_block_expr_action-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_no_patterns-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_with_pattern-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_receive_after_with_pattern-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send-1.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_3-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_3-1.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_send_receive_3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_race-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_race-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_link_unlink_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_4-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_monitor_demonitor_4-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_register_race-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_spawn_register_race-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_trap_exit_timing-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_trap_exit_timing-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_var_mod_fun-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_var_mod_fun-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_var_mod_fun-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_var_mod_fun-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_var_mod_fun-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_whereis-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/sched_tests-test_whereis-0.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_whereis-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/sched_tests-test_whereis-1.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/sched_tests-test_whereis-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/sched_tests-test_whereis-2.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/self_exits-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/self_exits-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/self_exits-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/self_exits-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/self_exits-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/self_exits-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/self_exits-test4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/self_exits-test4-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test11-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test11-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test12-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test12-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test13-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test13-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test14-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test14-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test15-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test15-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test16-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test16-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test17-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test17-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test18-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test18-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test19-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test19-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test1A-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test1A-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test1B-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test1B-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test1C-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test1C-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test1D-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test1D-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test4-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test5-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test6-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test7-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test7-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test8-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test8-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-test9-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-test9-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-testA-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-testA-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-testB-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-testB-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_after-testC-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_after-testC-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_self-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_self-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_self-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_self-test1-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_self-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_self-test2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/send_self-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/send_self-test3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/spawn_bad-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/spawn_bad-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/results/waiting-waiting-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/results/waiting-waiting-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ac_tab_delete_crash.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ac_tab_delete_crash.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ac_tab_insert.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ac_tab_insert.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/after_test_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/after_test_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/after_test_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/after_test_3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/after_vs_trap_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/after_vs_trap_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/allow_first_crash.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/allow_first_crash.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/application_check.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/application_check.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/assert_filter.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/assert_filter.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/assert_tip.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/assert_tip.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/bad_dictionary.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/bad_dictionary.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/bad_whereis.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/bad_whereis.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/code_when_undef.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/code_when_undef.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/concuerror_crash.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/concuerror_crash.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/curious_builtins.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/curious_builtins.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/dead_receive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/dead_receive.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/deeper_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/deeper_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/demonitor_exhaustive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/demonitor_exhaustive.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/demonitor_flush.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/demonitor_flush.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/demonitor_sane_opts.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/demonitor_sane_opts.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/depth_bound.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/depth_bound.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/erlang_display.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/erlang_display.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/erlang_display_string.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/erlang_display_string.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_delete.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_delete.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_delete_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_delete_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_delete_all.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_delete_all.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_delete_object.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_delete_object.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_exceptions.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_exceptions.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_give_away.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_give_away.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_global_global.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_global_global.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_heir.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_heir.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_heir_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_heir_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_info.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_info_details.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_info_details.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_insert_new.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_insert_new.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_insert_objects.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_insert_objects.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_many_insert_new.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_many_insert_new.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_new.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_new.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_new_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_new_failure.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_new_failure_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_new_failure_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_new_failure_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_new_failure_3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_ref_keys.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_ref_keys.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_rename.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_rename.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_select.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_select.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_unguarded.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_unguarded.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_unnamed.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_unnamed.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_update_counter.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_update_counter.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_update_element.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_update_element.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ets_whereis.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ets_whereis.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/exit_kill.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/exit_kill.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/exit_message_unpredicted.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/exit_message_unpredicted.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/file_read_file.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/file_read_file.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/fun_fail.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/fun_fail.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/group_leader.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/group_leader.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/group_leader2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/group_leader2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/group_leader3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/group_leader3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/halt_error.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/halt_error.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/halt_support.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/halt_support.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/hibernate.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/hibernate.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/hopeless_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/hopeless_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/i_hate_myself.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/i_hate_myself.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ignore_error_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ignore_error_1.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ignore_error_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ignore_error_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/ignore_error_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/ignore_error_3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/immediate_delivery.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/immediate_delivery.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/infinite_loop.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/infinite_loop.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/init_race_condition.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/init_race_condition.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/inspect_system.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/inspect_system.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/instr_apply.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/instr_apply.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/io_error.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/io_error.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/io_format.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/io_format.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/io_format_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/io_format_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/io_format_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/io_format_3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/irrelevant_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/irrelevant_send.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/is_process_alive_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/is_process_alive_1.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/keep_going.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/keep_going.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/kill_running_waiting.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/kill_running_waiting.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/late_hope.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/late_hope.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/lid_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/lid_test.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/link_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/link_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/load_before_start.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/load_before_start.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/log_all.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/log_all.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/main_and_backup.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/main_and_backup.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/many_kill.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/many_kill.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/many_links.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/many_links.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/many_monitors.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/many_monitors.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/many_send_to_dead.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/many_send_to_dead.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/many_send_to_dead_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/many_send_to_dead_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/message_queue_length.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/message_queue_length.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/messed_deliveries.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/messed_deliveries.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/module_loaded_dep.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/module_loaded_dep.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_demonitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_demonitor.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_failure.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_info.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_missing_messages.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_missing_messages.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_named.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_named.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monitor_order.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monitor_order.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/monotonic_time.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/monotonic_time.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/node_names.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/node_names.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/nonexistent_module.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/nonexistent_module.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/normal_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/normal_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/normal_shutdown.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/normal_shutdown.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/normal_tuple_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/normal_tuple_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/os_timestamp.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/os_timestamp.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/pids_are_unsafe.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/pids_are_unsafe.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/process_flag_link.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/process_flag_link.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/process_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/process_info.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/processes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/processes.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/processes_leader.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/processes_leader.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/racing_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/racing_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_and_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_and_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_catchall.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_catchall.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_loop.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_loop.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_with_guard.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_with_guard.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/receive_without_trapping.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/receive_without_trapping.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/register_link.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/register_link.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/registered_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/registered_1.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/registered_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/registered_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/registered_send_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/registered_send_1.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/registered_send_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/registered_send_2.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/registered_send_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/registered_send_3.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/replay_sanity.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/replay_sanity.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/report_blocks.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/report_blocks.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/reuse_raw_pid.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/reuse_raw_pid.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/safeops_coverage.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/safeops_coverage.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/sched_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/sched_tests.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/self_exits.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/self_exits.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_after_trouble.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_after_trouble.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_named_vs_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_named_vs_send.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_receive_dependencies.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_receive_dependencies.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_self.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_self.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_using_names.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_using_names.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/send_vs_trap_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/send_vs_trap_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/signals_vs_messages.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/signals_vs_messages.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/simple_ets.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/simple_ets.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/simple_spawn.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/simple_spawn.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/sleep_set_block_not_bad.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/sleep_set_block_not_bad.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawn_and_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawn_and_send.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawn_bad.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawn_bad.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawn_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawn_failure.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawn_monitor_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawn_monitor_test.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawned_sender_crasher.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawned_sender_crasher.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/spawned_senders.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/spawned_senders.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/stacktrace_vs_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/stacktrace_vs_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/system_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/system_info.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/system_instant_delivery.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/system_instant_delivery.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/system_non_instant_delivery.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/system_non_instant_delivery.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/timers_afters_exits_crashes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/timers_afters_exits_crashes.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/timestamps.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/timestamps.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/trace_the_sender.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/trace_the_sender.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/transparent_instrumentation.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/transparent_instrumentation.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/trigger_the_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/trigger_the_after.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/unregister_deadlocked.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/unregister_deadlocked.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/unsupported_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/unsupported_exit.erl -------------------------------------------------------------------------------- /tests/suites/basic_tests/src/waiting.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/basic_tests/src/waiting.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-0-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-1-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-2-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-3-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-4-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-4-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-5-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-5-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-6-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-6-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers-test-7-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers-test-7-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-0-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-1-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-2-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-3-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-4-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-4-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-5-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-5-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-6-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-6-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/readers_2-test-7-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/readers_2-test-7-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/simple_delay-test-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/simple_delay-test-0-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/simple_delay-test-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/simple_delay-test-1-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-0-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-1-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-2-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-3-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-4-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-4-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-5-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-5-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-6-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-6-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/results/writers-test-7-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/results/writers-test-7-dpor.txt -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/manolis/rush_hour.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/manolis/rush_hour.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/manolis/search.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/manolis/search.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/manolis/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/manolis/test.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/readers.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/readers_2.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/readers_compare.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/readers_compare.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/readers_delay.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/readers_delay.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/readers_no_preempt.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/readers_no_preempt.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/simple_delay.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/simple_delay.erl -------------------------------------------------------------------------------- /tests/suites/bounding_tests/src/writers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/bounding_tests/src/writers.erl -------------------------------------------------------------------------------- /tests/suites/corner_tests/src/deliver_exhaustive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/corner_tests/src/deliver_exhaustive.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/diff_obs-test-inf-optimal.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/diff_obs-test-inf-optimal.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/ets_cross-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/ets_cross-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi-etsi-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi-etsi-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_2-etsi_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_2-etsi_2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_3-etsi_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_3-etsi_3-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_4-etsi_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_4-etsi_4-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_5-etsi_5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_5-etsi_5-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_6-etsi_6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_6-etsi_6-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_7-etsi_7-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_7-etsi_7-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/etsi_8-etsi_8-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/etsi_8-etsi_8-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/last_zero-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/last_zero-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/last_zero-test-inf-source.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/last_zero-test-inf-source.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/many_kill_2-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/many_kill_2-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/messages_2-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/messages_2-test-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/proxy-proxy-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/proxy-proxy-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/proxy2-proxy2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/proxy2-proxy2-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/readers-test-inf-optimal.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/readers-test-inf-optimal.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/readers-test-inf-source.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/readers-test-inf-source.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/stress-stress-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/stress-stress-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/results/workers-workers-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/results/workers-workers-inf-dpor.txt -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/POPL_optimal_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/POPL_optimal_example.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/after_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/after_test.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/after_test_reduced.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/after_test_reduced.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/combination_lock_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/combination_lock_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/complete_test_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/complete_test_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/complete_test_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/complete_test_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/conditional_readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/conditional_readers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/conditional_readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/conditional_readers_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/conditional_readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/conditional_readers_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_4.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_4_screen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_4_screen.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_5.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_6.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_6_newest.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_6_newest.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/depend_6_round.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/depend_6_round.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/diff_dep_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/diff_dep_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/diff_dep_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/diff_dep_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/diff_dep_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/diff_dep_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/diff_obs.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/diff_obs.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/difficult_readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/difficult_readers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_cross.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_cross.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies_deeper.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies_deeper.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies_deeper_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies_deeper_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_dependencies_n.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_dependencies_n.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/ets_writing_same.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/ets_writing_same.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_4.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_5.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_6.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_7.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_7.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/etsi_8.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/etsi_8.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/file_system_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/file_system_example.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/hairbrush_teeth_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/hairbrush_teeth_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/hairbrush_teeth_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/hairbrush_teeth_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/hairbrush_teeth_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/hairbrush_teeth_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/hairbrush_teeth_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/hairbrush_teeth_4.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/independent_receivers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/independent_receivers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/indifferent_senders.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/indifferent_senders.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/last_zero.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/last_zero.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/long_chain.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/long_chain.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/many_initials.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/many_initials.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/many_kill_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/many_kill_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/manywrite.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/manywrite.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/manywrite_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/manywrite_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/messages_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/messages_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/messages_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/messages_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/no_observers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/no_observers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/not_prerequisite_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/not_prerequisite_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/observable_others.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/observable_others.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/precise_demonitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/precise_demonitor.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/priorities.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/priorities.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/process_info.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/process_info.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/proxy.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/proxy.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/proxy2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/proxy2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/readers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/readers_basic.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/readers_basic.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/readers_rrw.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/readers_rrw.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/readers_rwr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/readers_rwr.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/readers_wrr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/readers_wrr.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/receive_order.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/receive_order.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/register_again.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/register_again.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/register_again_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/register_again_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/same_messages.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/same_messages.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/same_messages_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/same_messages_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/same_messages_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/same_messages_3.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/same_messages_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/same_messages_4.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/send_it_ets.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/send_it_ets.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_3_read.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_3_read.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_3_write.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_3_write.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_4.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_5.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_6.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_7.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_7.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sleeping_races_8.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sleeping_races_8.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/stress.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/stress.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/sync_start.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/sync_start.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/test_after_spawns.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/test_after_spawns.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/timer_replayed.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/timer_replayed.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/tricky_predecessors.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/tricky_predecessors.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/two_writers_readers_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/two_writers_readers_1.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/two_writers_readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/two_writers_readers_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/wakeup_many.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/wakeup_many.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/workers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/workers.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/workers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/workers_2.erl -------------------------------------------------------------------------------- /tests/suites/dpor_tests/src/writeread.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/dpor_tests/src/writeread.erl -------------------------------------------------------------------------------- /tests/suites/erlang_tests/src/erlang_maps.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/erlang_tests/src/erlang_maps.erl -------------------------------------------------------------------------------- /tests/suites/erlang_tests/src/erlang_timer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/suites/erlang_tests/src/erlang_timer.erl -------------------------------------------------------------------------------- /tests/test_template.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/test_template.erl -------------------------------------------------------------------------------- /tests/test_template_stripped.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/parapluu/Concuerror/HEAD/tests/test_template_stripped.erl --------------------------------------------------------------------------------