gitextract_f2h5wf0f/ ├── .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 │ ├── 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 │ ├── contact.md │ ├── download.md │ ├── faq.md │ ├── feed.xml │ ├── index.md │ ├── news.md │ ├── publications.md │ ├── search.md │ ├── sitemap.xml │ └── tutorials.md ├── elvis.config ├── priv/ │ ├── concuerror │ ├── generate_option_docfiles │ └── generate_version_hrl ├── rebar.config ├── 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/ │ ├── 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 └── tests-real/ ├── Makefile ├── README.md └── suites/ ├── check_version.escript ├── erlang-litmus/ │ ├── .gitignore │ ├── Makefile │ ├── run_litmus.escript │ └── test ├── makefile/ │ ├── Makefile │ └── makefile-tests ├── options/ │ ├── .gitignore │ ├── Makefile │ ├── autocomplete/ │ │ ├── autocomplete.sh │ │ ├── autocomplete_common.erl │ │ ├── autocomplete_help.erl │ │ ├── autocomplete_long.erl │ │ └── autocomplete_short.erl │ ├── autocomplete-tests │ ├── 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 │ ├── 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 └── print_colors