├── .gitignore ├── DPOR_README ├── LICENSE ├── Makefile ├── README.md ├── doc ├── .gitignore └── overview.edoc ├── ebin └── .gitignore ├── include ├── gen.hrl ├── gui.hrl └── instr.hrl ├── 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 ├── resources ├── erlang_questions │ └── dets_bugs │ │ ├── alt_dets_bugs.erl │ │ └── dets_bugs.erl ├── flanagan.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 ├── src ├── 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 ├── testsuite ├── README ├── results │ └── .gitignore ├── runtests.py ├── scenarios.erl └── suites │ ├── crashing │ └── src │ │ └── waiting.erl │ ├── dpor │ ├── results │ │ ├── after_test-after_test-inf-dpor.txt │ │ ├── after_test_2-after_test_2-inf-dpor.txt │ │ ├── after_test_3-after_test_3-inf-dpor.txt │ │ ├── after_test_reduced-after_test_reduced-inf-dpor.txt │ │ ├── after_vs_trap_exit-after_vs_trap_exit-inf-dpor.txt │ │ ├── combination_lock_1-combination_lock_1-inf-dpor.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 │ │ ├── dead_receive-dead_receive-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 │ │ ├── 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 │ │ ├── difficult_readers-difficult_readers-inf-dpor.txt │ │ ├── ets_delete-ets_delete-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_insert_objects-ets_insert_objects-inf-dpor.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_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 │ │ ├── exit_message_unpredicted-exit_message_unpredicted-inf-dpor.txt │ │ ├── file_system_example-file_system_example-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 │ │ ├── hopeless_after-hopeless_after-inf-dpor.txt │ │ ├── i_hate_myself-i_hate_myself-inf-dpor.txt │ │ ├── independent_receivers-independent_receivers-inf-dpor.txt │ │ ├── indifferent_senders-indifferent_senders-inf-dpor.txt │ │ ├── irrelevant_send-irrelevant_send-inf-dpor.txt │ │ ├── is_process_alive_1-is_process_alive_1-inf-dpor.txt │ │ ├── late_hope-late_hope-inf-dpor.txt │ │ ├── link_after-link_after-inf-dpor.txt │ │ ├── long_chain-long_chain-inf-dpor.txt │ │ ├── main_and_backup-main_and_backup-inf-dpor.txt │ │ ├── many_initials-many_initials-inf-dpor.txt │ │ ├── manywrite-manywrite-inf-dpor.txt │ │ ├── manywrite_2-manywrite_2-inf-dpor.txt │ │ ├── monitor_demonitor-monitor_demonitor-inf-dpor.txt │ │ ├── monitor_failure-monitor_failure-inf-dpor.txt │ │ ├── monitor_missing_messages-monitor_missing_messages-inf-dpor.txt │ │ ├── normal_exit-normal_exit-inf-dpor.txt │ │ ├── not_prerequisite_1-not_prerequisite_1-inf-dpor.txt │ │ ├── preemption-preemption-inf-dpor.txt │ │ ├── priorities-priorities-inf-dpor.txt │ │ ├── process_flag_link-process_flag_link-inf-dpor.txt │ │ ├── proxy-proxy-inf-dpor.txt │ │ ├── proxy2-proxy2-inf-dpor.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_after-receive_after-inf-dpor.txt │ │ ├── receive_and_after-receive_and_after-inf-dpor.txt │ │ ├── receive_with_guard-receive_with_guard-inf-dpor.txt │ │ ├── receive_without_trapping-receive_without_trapping-inf-dpor.txt │ │ ├── register_again-register_again-inf-dpor.txt │ │ ├── register_again_2-register_again_2-inf-dpor.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 │ │ ├── report_blocks-test-inf.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 │ │ ├── same_messages-same_messages-inf-dpor.txt │ │ ├── send_it_ets-send_it_ets-inf-dpor.txt │ │ ├── send_named_vs_send-send_named_vs_send-inf-dpor.txt │ │ ├── send_receive_dependencies-send_receive_dependencies-inf-dpor.txt │ │ ├── send_using_names-send_using_names-inf-dpor.txt │ │ ├── send_vs_trap_exit-send_vs_trap_exit-inf-dpor.txt │ │ ├── shared_ptr-shared_ptr-inf-dpor.txt │ │ ├── simple_ets-simple_ets-inf-dpor.txt │ │ ├── simple_registry-simple_registry-inf-dpor.txt │ │ ├── simple_spawn-simple_spawn-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_7-sleeping_races_7-inf-dpor.txt │ │ ├── spawn_and_send-spawn_and_send-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 │ │ ├── stress-stress-inf-dpor.txt │ │ ├── sync_start-sync_start-inf-dpor.txt │ │ ├── test_after_spawns-test_after_spawns-inf-dpor.txt │ │ ├── trace_the_sender-trace_the_sender-inf-dpor.txt │ │ ├── tricky_predecessors-tricky_predecessors-inf-dpor.txt │ │ ├── trigger_the_after-trigger_the_after-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 │ │ ├── after_test.erl │ │ ├── after_test_2.erl │ │ ├── after_test_3.erl │ │ ├── after_test_reduced.erl │ │ ├── after_vs_trap_exit.erl │ │ ├── combination_lock_1.erl │ │ ├── complete_test_1.erl │ │ ├── complete_test_2.erl │ │ ├── conditional_readers.erl │ │ ├── conditional_readers_2.erl │ │ ├── conditional_readers_3.erl │ │ ├── dead_receive.erl │ │ ├── depend_1.erl │ │ ├── depend_2.erl │ │ ├── depend_3.erl │ │ ├── depend_4.erl │ │ ├── depend_4_screen.erl │ │ ├── depend_5.erl │ │ ├── depend_6.erl │ │ ├── diff_dep_1.erl │ │ ├── diff_dep_2.erl │ │ ├── diff_dep_3.erl │ │ ├── difficult_readers.erl │ │ ├── ets_delete.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_insert_objects.erl │ │ ├── ets_new_failure.erl │ │ ├── ets_new_failure_2.erl │ │ ├── ets_new_failure_3.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 │ │ ├── exit_message_unpredicted.erl │ │ ├── file_system_example.erl │ │ ├── hairbrush_teeth_1.erl │ │ ├── hairbrush_teeth_2.erl │ │ ├── hairbrush_teeth_3.erl │ │ ├── hairbrush_teeth_4.erl │ │ ├── hopeless_after.erl │ │ ├── i_hate_myself.erl │ │ ├── independent_receivers.erl │ │ ├── indexer_example.erl │ │ ├── indifferent_senders.erl │ │ ├── irrelevant_send.erl │ │ ├── is_process_alive_1.erl │ │ ├── late_hope.erl │ │ ├── link_after.erl │ │ ├── long_chain.erl │ │ ├── main_and_backup.erl │ │ ├── many_initials.erl │ │ ├── manywrite.erl │ │ ├── manywrite_2.erl │ │ ├── monitor_demonitor.erl │ │ ├── monitor_failure.erl │ │ ├── monitor_missing_messages.erl │ │ ├── normal_exit.erl │ │ ├── not_prerequisite_1.erl │ │ ├── preemption.erl │ │ ├── priorities.erl │ │ ├── process_flag_link.erl │ │ ├── proxy.erl │ │ ├── proxy2.erl │ │ ├── readers_basic.erl │ │ ├── readers_rrw.erl │ │ ├── readers_rwr.erl │ │ ├── readers_wrr.erl │ │ ├── receive_after.erl │ │ ├── receive_and_after.erl │ │ ├── receive_with_guard.erl │ │ ├── receive_without_trapping.erl │ │ ├── register_again.erl │ │ ├── register_again_2.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 │ │ ├── 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 │ │ ├── same_messages.erl │ │ ├── send_it_ets.erl │ │ ├── send_named_vs_send.erl │ │ ├── send_receive_dependencies.erl │ │ ├── send_using_names.erl │ │ ├── send_vs_trap_exit.erl │ │ ├── shared_ptr.erl │ │ ├── simple_ets.erl │ │ ├── simple_registry.erl │ │ ├── simple_spawn.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 │ │ ├── spawn_and_send.erl │ │ ├── spawn_failure.erl │ │ ├── spawn_monitor_test.erl │ │ ├── spawned_sender_crasher.erl │ │ ├── spawned_senders.erl │ │ ├── stress.erl │ │ ├── sync_start.erl │ │ ├── test_after_spawns.erl │ │ ├── trace_the_sender.erl │ │ ├── tricky_predecessors.erl │ │ ├── trigger_the_after.erl │ │ ├── two_writers_readers_1.erl │ │ ├── two_writers_readers_2.erl │ │ ├── wakeup_many.erl │ │ ├── workers.erl │ │ ├── workers_2.erl │ │ └── writeread.erl │ ├── known_issues │ ├── results │ │ ├── ets_heir-ets_heir-inf-dpor.txt │ │ ├── ets_many_insert_new-ets_many_insert_new-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 │ │ ├── my_send_after-my_send_after-inf-dpor.txt │ │ └── my_send_after-my_send_after-inf.txt │ └── src │ │ ├── ets_heir.erl │ │ ├── ets_many_insert_new.erl │ │ ├── many_send_to_dead.erl │ │ ├── many_send_to_dead_2.erl │ │ └── my_send_after.erl │ ├── regress │ ├── results │ │ ├── ets_new-test-inf-dpor.txt │ │ ├── ets_new-test-inf.txt │ │ ├── ets_ref_keys-ets_ref_keys-0.txt │ │ ├── ets_ref_keys-ets_ref_keys-inf-dpor.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_shutdown-check_exit2_status-inf-dpor.txt │ │ ├── exit_shutdown-check_exit2_status-inf.txt │ │ ├── exit_shutdown-check_exit_status-inf-dpor.txt │ │ ├── exit_shutdown-check_exit_status-inf.txt │ │ ├── exit_shutdown-shutdown-inf-dpor.txt │ │ ├── exit_shutdown-shutdown-inf.txt │ │ ├── exit_shutdown-terminate-inf-dpor.txt │ │ ├── exit_shutdown-terminate-inf.txt │ │ ├── init_race_condition-test-inf-dpor.txt │ │ ├── init_race_condition-test-inf.txt │ │ ├── instr_apply-test-inf-dpor.txt │ │ ├── instr_apply-test-inf.txt │ │ ├── lid_test-test-0.txt │ │ ├── receive_catchall-test1-inf.txt │ │ ├── receive_catchall-test2-inf.txt │ │ ├── receive_catchall-test3-inf.txt │ │ └── tuple_as_module-test-0.txt │ └── src │ │ ├── ets_new.erl │ │ ├── ets_ref_keys.erl │ │ ├── exit.erl │ │ ├── exit_shutdown.erl │ │ ├── init_race_condition.erl │ │ ├── instr_apply.erl │ │ ├── lid_test.erl │ │ ├── receive_catchall.erl │ │ └── tuple_as_module.erl │ └── resources │ ├── results │ ├── manolis-test_2workers-0.txt │ ├── manolis-test_2workers-2-dpor.txt │ ├── manolis-test_2workers_small-inf-dpor.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_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 │ ├── shootout-test1-0.txt │ ├── shootout-test1-inf.txt │ ├── timers_afters_exits_crashes-both_crash-inf-dpor.txt │ ├── timers_afters_exits_crashes-both_crash-inf.txt │ ├── timers_afters_exits_crashes-child_crashes-inf-dpor.txt │ ├── timers_afters_exits_crashes-child_crashes-inf.txt │ ├── timers_afters_exits_crashes-my_exit_bad-inf-dpor.txt │ ├── timers_afters_exits_crashes-my_exit_bad-inf.txt │ ├── timers_afters_exits_crashes-my_exit_ok-inf-dpor.txt │ ├── timers_afters_exits_crashes-my_exit_ok-inf.txt │ ├── timers_afters_exits_crashes-my_start_timer-inf-dpor.txt │ └── timers_afters_exits_crashes-my_start_timer-inf.txt │ └── src │ ├── manolis │ ├── good_testcase.txt │ ├── readme.txt │ ├── rush_hour.erl │ ├── search.erl │ └── test.erl │ ├── percept.erl │ ├── sched_tests.erl │ ├── shootout │ ├── pidigits.erl │ ├── test.erl │ └── thread_ring.erl │ └── timers_afters_exits_crashes.erl └── utest ├── concuerror_error_tests.erl ├── concuerror_instr_tests.erl ├── concuerror_lid_tests.erl ├── concuerror_state_tests.erl └── concuerror_ticket_tests.erl /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/.gitignore -------------------------------------------------------------------------------- /DPOR_README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/DPOR_README -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/README.md -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !overview.edoc 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /doc/overview.edoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/doc/overview.edoc -------------------------------------------------------------------------------- /ebin/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /include/gen.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/include/gen.hrl -------------------------------------------------------------------------------- /include/gui.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/include/gui.hrl -------------------------------------------------------------------------------- /include/instr.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/include/instr.hrl -------------------------------------------------------------------------------- /perm_tests/run_perm_tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/run_perm_tests -------------------------------------------------------------------------------- /perm_tests/src/complete_test_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/complete_test_3.erl -------------------------------------------------------------------------------- /perm_tests/src/conditional_readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/conditional_readers_3.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_4_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_4_1.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_4_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_4_2.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_4_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_4_3.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_6_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_6_1.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_6_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_6_2.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_6_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_6_3.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_6_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_6_4.erl -------------------------------------------------------------------------------- /perm_tests/src/depend_6_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/depend_6_5.erl -------------------------------------------------------------------------------- /perm_tests/src/etsi.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/etsi.erl -------------------------------------------------------------------------------- /perm_tests/src/readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/readers_2.erl -------------------------------------------------------------------------------- /perm_tests/src/readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/perm_tests/src/readers_3.erl -------------------------------------------------------------------------------- /resources/erlang_questions/dets_bugs/alt_dets_bugs.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/erlang_questions/dets_bugs/alt_dets_bugs.erl -------------------------------------------------------------------------------- /resources/erlang_questions/dets_bugs/dets_bugs.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/erlang_questions/dets_bugs/dets_bugs.erl -------------------------------------------------------------------------------- /resources/flanagan.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/flanagan.erl -------------------------------------------------------------------------------- /resources/syntax/block_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/syntax/block_after.erl -------------------------------------------------------------------------------- /resources/syntax/non_local_pat.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/syntax/non_local_pat.erl -------------------------------------------------------------------------------- /resources/syntax/rec_uscore.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/syntax/rec_uscore.erl -------------------------------------------------------------------------------- /resources/syntax/strip_attr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/resources/syntax/strip_attr.erl -------------------------------------------------------------------------------- /resources/tdd/reg_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/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/mariachris/Concuerror/HEAD/resources/tdd/reg_server_tests.erl -------------------------------------------------------------------------------- /src/concuerror.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror.erl -------------------------------------------------------------------------------- /src/concuerror_deps.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_deps.erl -------------------------------------------------------------------------------- /src/concuerror_error.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_error.erl -------------------------------------------------------------------------------- /src/concuerror_gui.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_gui.erl -------------------------------------------------------------------------------- /src/concuerror_instr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_instr.erl -------------------------------------------------------------------------------- /src/concuerror_io_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_io_server.erl -------------------------------------------------------------------------------- /src/concuerror_lid.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_lid.erl -------------------------------------------------------------------------------- /src/concuerror_log.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_log.erl -------------------------------------------------------------------------------- /src/concuerror_proc_action.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_proc_action.erl -------------------------------------------------------------------------------- /src/concuerror_rep.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_rep.erl -------------------------------------------------------------------------------- /src/concuerror_sched.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_sched.erl -------------------------------------------------------------------------------- /src/concuerror_state.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_state.erl -------------------------------------------------------------------------------- /src/concuerror_ticket.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_ticket.erl -------------------------------------------------------------------------------- /src/concuerror_util.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/src/concuerror_util.erl -------------------------------------------------------------------------------- /testsuite/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/README -------------------------------------------------------------------------------- /testsuite/results/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !.gitignore 3 | -------------------------------------------------------------------------------- /testsuite/runtests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/runtests.py -------------------------------------------------------------------------------- /testsuite/scenarios.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/scenarios.erl -------------------------------------------------------------------------------- /testsuite/suites/crashing/src/waiting.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/crashing/src/waiting.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/after_test-after_test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/after_test-after_test-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/after_test_2-after_test_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/after_test_2-after_test_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/after_test_3-after_test_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/after_test_3-after_test_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/after_test_reduced-after_test_reduced-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/after_test_reduced-after_test_reduced-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/after_vs_trap_exit-after_vs_trap_exit-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/after_vs_trap_exit-after_vs_trap_exit-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/combination_lock_1-combination_lock_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/combination_lock_1-combination_lock_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/complete_test_1-complete_test_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/complete_test_1-complete_test_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/complete_test_2-complete_test_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/complete_test_2-complete_test_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/conditional_readers-conditional_readers-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/conditional_readers-conditional_readers-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/conditional_readers_2-conditional_readers_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/conditional_readers_2-conditional_readers_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/conditional_readers_3-conditional_readers_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/conditional_readers_3-conditional_readers_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/dead_receive-dead_receive-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/dead_receive-dead_receive-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_1-depend_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_1-depend_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_2-depend_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_2-depend_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_3-depend_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_3-depend_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_4-depend_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_4-depend_4-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_4_screen-depend_4_screen-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_4_screen-depend_4_screen-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_5-depend_5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_5-depend_5-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/depend_6-depend_6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/depend_6-depend_6-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/diff_dep_1-diff_dep_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/diff_dep_1-diff_dep_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/diff_dep_2-diff_dep_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/diff_dep_2-diff_dep_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/diff_dep_3-diff_dep_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/diff_dep_3-diff_dep_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/difficult_readers-difficult_readers-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/difficult_readers-difficult_readers-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_delete-ets_delete-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_delete-ets_delete-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies-ets_dependencies-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies-ets_dependencies-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies_2-ets_dependencies_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies_2-ets_dependencies_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies_3-ets_dependencies_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies_3-ets_dependencies_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies_deeper-ets_dependencies_deeper-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies_deeper-ets_dependencies_deeper-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies_deeper_2-ets_dependencies_deeper_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies_deeper_2-ets_dependencies_deeper_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_dependencies_n-ets_dependencies_n-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_dependencies_n-ets_dependencies_n-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_insert_objects-ets_insert_objects-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_insert_objects-ets_insert_objects-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_new_failure-ets_new_failure-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_new_failure-ets_new_failure-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_new_failure_2-ets_new_failure_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_new_failure_2-ets_new_failure_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_new_failure_3-ets_new_failure_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_new_failure_3-ets_new_failure_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ets_writing_same-ets_writing_same-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ets_writing_same-ets_writing_same-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi-etsi-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi-etsi-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_2-etsi_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_2-etsi_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_3-etsi_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_3-etsi_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_4-etsi_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_4-etsi_4-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_5-etsi_5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_5-etsi_5-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_6-etsi_6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_6-etsi_6-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_7-etsi_7-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_7-etsi_7-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/etsi_8-etsi_8-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/etsi_8-etsi_8-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/exit_message_unpredicted-exit_message_unpredicted-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/exit_message_unpredicted-exit_message_unpredicted-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/file_system_example-file_system_example-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/file_system_example-file_system_example-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/hairbrush_teeth_1-hairbrush_teeth_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/hairbrush_teeth_1-hairbrush_teeth_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/hairbrush_teeth_2-hairbrush_teeth_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/hairbrush_teeth_2-hairbrush_teeth_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/hairbrush_teeth_3-hairbrush_teeth_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/hairbrush_teeth_3-hairbrush_teeth_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/hairbrush_teeth_4-hairbrush_teeth_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/hairbrush_teeth_4-hairbrush_teeth_4-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/hopeless_after-hopeless_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/hopeless_after-hopeless_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/i_hate_myself-i_hate_myself-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/i_hate_myself-i_hate_myself-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/independent_receivers-independent_receivers-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/indifferent_senders-indifferent_senders-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 6 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/irrelevant_send-irrelevant_send-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/irrelevant_send-irrelevant_send-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/is_process_alive_1-is_process_alive_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/is_process_alive_1-is_process_alive_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/late_hope-late_hope-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/late_hope-late_hope-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/link_after-link_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/link_after-link_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/long_chain-long_chain-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/long_chain-long_chain-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/main_and_backup-main_and_backup-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 8 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/many_initials-many_initials-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/many_initials-many_initials-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/manywrite-manywrite-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/manywrite-manywrite-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/manywrite_2-manywrite_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/manywrite_2-manywrite_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/monitor_demonitor-monitor_demonitor-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/monitor_demonitor-monitor_demonitor-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/monitor_failure-monitor_failure-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/monitor_failure-monitor_failure-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/monitor_missing_messages-monitor_missing_messages-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/monitor_missing_messages-monitor_missing_messages-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/normal_exit-normal_exit-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/not_prerequisite_1-not_prerequisite_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/not_prerequisite_1-not_prerequisite_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/preemption-preemption-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/preemption-preemption-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/priorities-priorities-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/priorities-priorities-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/process_flag_link-process_flag_link-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/process_flag_link-process_flag_link-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/proxy-proxy-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/proxy2-proxy2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/readers_basic-readers_basic-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/readers_basic-readers_basic-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/readers_rrw-readers_rrw-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/readers_rrw-readers_rrw-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/readers_rwr-readers_rwr-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/readers_rwr-readers_rwr-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/readers_wrr-readers_wrr-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/readers_wrr-readers_wrr-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/receive_after-receive_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/receive_after-receive_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/receive_and_after-receive_and_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/receive_and_after-receive_and_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/receive_with_guard-receive_with_guard-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/receive_with_guard-receive_with_guard-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/receive_without_trapping-receive_without_trapping-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/register_again-register_again-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/register_again-register_again-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/register_again_2-register_again_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/register_again_2-register_again_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/registered_1-registered_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/registered_1-registered_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/registered_2-registered_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/registered_2-registered_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/registered_send_1-registered_send_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/registered_send_1-registered_send_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/registered_send_2-registered_send_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/registered_send_2-registered_send_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/registered_send_3-registered_send_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/registered_send_3-registered_send_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/replay_sanity-replay_sanity-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/replay_sanity-replay_sanity-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/report_blocks-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/report_blocks-test-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/report_blocks-test-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/report_blocks-test-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ring_leader_election-ring_leader_election-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 36 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ring_leader_election_barrier-ring_leader_election_barrier-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ring_leader_election_barrier-ring_leader_election_barrier-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ring_leader_election_symmetric-ring_leader_election_symmetric-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ring_leader_election_symmetric_buffer-ring_leader_election_symmetric_buffer-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ring_leader_election_symmetric_buffer-ring_leader_election_symmetric_buffer-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/ring_leader_election_symmetric_buffer_2-ring_leader_election_symmetric_buffer_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/ring_leader_election_symmetric_buffer_2-ring_leader_election_symmetric_buffer_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/same_messages-same_messages-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/send_it_ets-send_it_ets-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/send_it_ets-send_it_ets-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/send_named_vs_send-send_named_vs_send-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/send_named_vs_send-send_named_vs_send-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/send_receive_dependencies-send_receive_dependencies-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/send_using_names-send_using_names-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/send_using_names-send_using_names-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/send_vs_trap_exit-send_vs_trap_exit-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/send_vs_trap_exit-send_vs_trap_exit-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/shared_ptr-shared_ptr-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 822 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/simple_ets-simple_ets-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/simple_ets-simple_ets-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/simple_registry-simple_registry-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 152 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/simple_spawn-simple_spawn-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_1-sleeping_races_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_1-sleeping_races_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_2-sleeping_races_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_2-sleeping_races_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_3_read-sleeping_races_3_read-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_3_read-sleeping_races_3_read-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_3_write-sleeping_races_3_write-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_3_write-sleeping_races_3_write-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_4-sleeping_races_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_4-sleeping_races_4-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_5-sleeping_races_5-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_5-sleeping_races_5-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_6-sleeping_races_6-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_6-sleeping_races_6-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sleeping_races_7-sleeping_races_7-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sleeping_races_7-sleeping_races_7-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/spawn_and_send-spawn_and_send-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/spawn_failure-spawn_failure-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/spawn_failure-spawn_failure-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/spawn_monitor_test-spawn_monitor_test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/spawn_monitor_test-spawn_monitor_test-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/spawned_sender_crasher-spawned_sender_crasher-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/spawned_sender_crasher-spawned_sender_crasher-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/spawned_senders-spawned_senders-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/stress-stress-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 12 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/sync_start-sync_start-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/sync_start-sync_start-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/test_after_spawns-test_after_spawns-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/test_after_spawns-test_after_spawns-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/trace_the_sender-trace_the_sender-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/tricky_predecessors-tricky_predecessors-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/tricky_predecessors-tricky_predecessors-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/trigger_the_after-trigger_the_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/trigger_the_after-trigger_the_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/two_writers_readers_1-two_writers_readers_1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/two_writers_readers_1-two_writers_readers_1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/two_writers_readers_2-two_writers_readers_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/two_writers_readers_2-two_writers_readers_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/wakeup_many-wakeup_many-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/wakeup_many-wakeup_many-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/workers-workers-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 396 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/workers_2-workers_2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 11520 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/dpor/results/writeread-writeread-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/results/writeread-writeread-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/after_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/after_test.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/after_test_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/after_test_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/after_test_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/after_test_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/after_test_reduced.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/after_test_reduced.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/after_vs_trap_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/after_vs_trap_exit.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/combination_lock_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/combination_lock_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/complete_test_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/complete_test_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/complete_test_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/complete_test_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/conditional_readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/conditional_readers.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/conditional_readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/conditional_readers_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/conditional_readers_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/conditional_readers_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/dead_receive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/dead_receive.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_4.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_4_screen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_4_screen.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_5.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/depend_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/depend_6.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/diff_dep_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/diff_dep_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/diff_dep_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/diff_dep_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/diff_dep_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/diff_dep_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/difficult_readers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/difficult_readers.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_delete.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_delete.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies_deeper.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies_deeper.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies_deeper_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies_deeper_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_dependencies_n.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_dependencies_n.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_insert_objects.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_insert_objects.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_new_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_new_failure.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_new_failure_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_new_failure_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_new_failure_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_new_failure_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ets_writing_same.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ets_writing_same.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_4.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_5.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_6.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_7.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_7.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/etsi_8.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/etsi_8.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/exit_message_unpredicted.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/exit_message_unpredicted.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/file_system_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/file_system_example.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/hairbrush_teeth_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/hairbrush_teeth_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/hairbrush_teeth_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/hairbrush_teeth_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/hairbrush_teeth_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/hairbrush_teeth_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/hairbrush_teeth_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/hairbrush_teeth_4.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/hopeless_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/hopeless_after.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/i_hate_myself.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/i_hate_myself.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/independent_receivers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/independent_receivers.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/indexer_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/indexer_example.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/indifferent_senders.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/indifferent_senders.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/irrelevant_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/irrelevant_send.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/is_process_alive_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/is_process_alive_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/late_hope.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/late_hope.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/link_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/link_after.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/long_chain.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/long_chain.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/main_and_backup.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/main_and_backup.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/many_initials.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/many_initials.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/manywrite.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/manywrite.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/manywrite_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/manywrite_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/monitor_demonitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/monitor_demonitor.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/monitor_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/monitor_failure.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/monitor_missing_messages.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/monitor_missing_messages.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/normal_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/normal_exit.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/not_prerequisite_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/not_prerequisite_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/preemption.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/preemption.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/priorities.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/priorities.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/process_flag_link.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/process_flag_link.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/proxy.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/proxy.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/proxy2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/proxy2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/readers_basic.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/readers_basic.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/readers_rrw.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/readers_rrw.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/readers_rwr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/readers_rwr.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/readers_wrr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/readers_wrr.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/receive_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/receive_after.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/receive_and_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/receive_and_after.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/receive_with_guard.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/receive_with_guard.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/receive_without_trapping.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/receive_without_trapping.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/register_again.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/register_again.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/register_again_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/register_again_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/registered_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/registered_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/registered_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/registered_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/registered_send_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/registered_send_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/registered_send_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/registered_send_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/registered_send_3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/registered_send_3.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/replay_sanity.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/replay_sanity.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/report_blocks.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/report_blocks.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ring_leader_election.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ring_leader_election.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ring_leader_election_barrier.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ring_leader_election_barrier.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ring_leader_election_symmetric.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ring_leader_election_symmetric.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ring_leader_election_symmetric_buffer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ring_leader_election_symmetric_buffer.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/ring_leader_election_symmetric_buffer_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/ring_leader_election_symmetric_buffer_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/same_messages.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/same_messages.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/send_it_ets.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/send_it_ets.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/send_named_vs_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/send_named_vs_send.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/send_receive_dependencies.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/send_receive_dependencies.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/send_using_names.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/send_using_names.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/send_vs_trap_exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/send_vs_trap_exit.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/shared_ptr.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/shared_ptr.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/simple_ets.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/simple_ets.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/simple_registry.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/simple_registry.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/simple_spawn.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/simple_spawn.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_3_read.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_3_read.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_3_write.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_3_write.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_4.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_4.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_5.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_5.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_6.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_6.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sleeping_races_7.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sleeping_races_7.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/spawn_and_send.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/spawn_and_send.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/spawn_failure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/spawn_failure.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/spawn_monitor_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/spawn_monitor_test.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/spawned_sender_crasher.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/spawned_sender_crasher.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/spawned_senders.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/spawned_senders.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/stress.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/stress.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/sync_start.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/sync_start.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/test_after_spawns.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/test_after_spawns.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/trace_the_sender.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/trace_the_sender.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/tricky_predecessors.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/tricky_predecessors.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/trigger_the_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/trigger_the_after.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/two_writers_readers_1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/two_writers_readers_1.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/two_writers_readers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/two_writers_readers_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/wakeup_many.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/wakeup_many.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/workers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/workers.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/workers_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/workers_2.erl -------------------------------------------------------------------------------- /testsuite/suites/dpor/src/writeread.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/dpor/src/writeread.erl -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/ets_heir-ets_heir-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/ets_heir-ets_heir-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/ets_many_insert_new-ets_many_insert_new-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/ets_many_insert_new-ets_many_insert_new-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/many_send_to_dead-many_send_to_dead-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/many_send_to_dead-many_send_to_dead-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/many_send_to_dead_2-many_send_to_dead_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/many_send_to_dead_2-many_send_to_dead_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/my_send_after-my_send_after-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/my_send_after-my_send_after-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/results/my_send_after-my_send_after-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/results/my_send_after-my_send_after-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/known_issues/src/ets_heir.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/src/ets_heir.erl -------------------------------------------------------------------------------- /testsuite/suites/known_issues/src/ets_many_insert_new.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/src/ets_many_insert_new.erl -------------------------------------------------------------------------------- /testsuite/suites/known_issues/src/many_send_to_dead.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/src/many_send_to_dead.erl -------------------------------------------------------------------------------- /testsuite/suites/known_issues/src/many_send_to_dead_2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/src/many_send_to_dead_2.erl -------------------------------------------------------------------------------- /testsuite/suites/known_issues/src/my_send_after.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/known_issues/src/my_send_after.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/results/ets_new-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/ets_new-test-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/ets_new-test-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/ets_new-test-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/ets_ref_keys-ets_ref_keys-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/ets_ref_keys-ets_ref_keys-0.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/ets_ref_keys-ets_ref_keys-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/ets_ref_keys-ets_ref_keys-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test1-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test1-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test1-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test1-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test2-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test2-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit-test3-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit-test3-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-check_exit2_status-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-check_exit2_status-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-check_exit_status-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-check_exit_status-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-shutdown-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-shutdown-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-terminate-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit_shutdown-terminate-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/exit_shutdown-terminate-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/exit_shutdown-terminate-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/init_race_condition-test-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/init_race_condition-test-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 224 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/instr_apply-test-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/instr_apply-test-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/instr_apply-test-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/instr_apply-test-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/lid_test-test-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/results/lid_test-test-0.txt -------------------------------------------------------------------------------- /testsuite/suites/regress/results/receive_catchall-test1-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/receive_catchall-test2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/receive_catchall-test3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/results/tuple_as_module-test-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/regress/src/ets_new.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/ets_new.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/ets_ref_keys.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/ets_ref_keys.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/exit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/exit.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/exit_shutdown.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/exit_shutdown.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/init_race_condition.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/init_race_condition.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/instr_apply.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/instr_apply.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/lid_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/lid_test.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/receive_catchall.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/receive_catchall.erl -------------------------------------------------------------------------------- /testsuite/suites/regress/src/tuple_as_module.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/regress/src/tuple_as_module.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/results/manolis-test_2workers-0.txt: -------------------------------------------------------------------------------- 1 | Checked 768 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/manolis-test_2workers-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 366 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/manolis-test_2workers_small-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1254 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-0.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-2.txt: -------------------------------------------------------------------------------- 1 | Checked 5 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_receive_exit-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 5 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-0.txt: -------------------------------------------------------------------------------- 1 | Checked 8 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-1.txt: -------------------------------------------------------------------------------- 1 | Checked 44 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-2.txt: -------------------------------------------------------------------------------- 1 | Checked 136 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-3-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-3.txt: -------------------------------------------------------------------------------- 1 | Checked 275 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-4-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-4.txt: -------------------------------------------------------------------------------- 1 | Checked 392 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-5-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-5.txt: -------------------------------------------------------------------------------- 1 | Checked 458 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-6-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-6.txt: -------------------------------------------------------------------------------- 1 | Checked 481 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-7-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-7.txt: -------------------------------------------------------------------------------- 1 | Checked 483 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_3_proc_send_receive-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 483 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-3-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-3.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_after_clause_preemption-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_0-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_0-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_0-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_0-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_1-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_1-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_1-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_halt_1-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_receive_exit-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_receive_exit-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-3-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-3.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_link_unlink-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_link_unlink-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_monitor_unexisting-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_nested_send_receive_block_twice-2.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_2-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_2-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_2-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_2-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_2-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_2-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_block_expr_action-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_block_expr_action-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_block_expr_action-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_block_expr_action-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_no_patterns-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_infinity_with_pattern-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_no_patterns-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-3-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-3.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_receive_after_with_pattern-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-3-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-3-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-3.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_register_unregister-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_register_unregister-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-1.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-2-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-2.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_send_receive_3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 3 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_race-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_race-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_race-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_race-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_race-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_receive_exit-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_2-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_link_unlink_3-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_2-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-1.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_3-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 4 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_monitor_demonitor_4-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_link_receive_exit-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_opt_monitor-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_spawn_register_race-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_spawn_register_race-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_trap_exit_timing-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-0-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-1-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-1.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-inf-dpor.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_var_mod_fun-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 2 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-0-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-0-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-0.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-1-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-1-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-1.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-2-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-2-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-2.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/sched_tests-test_whereis-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/sched_tests-test_whereis-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/shootout-test1-0.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/shootout-test1-inf.txt: -------------------------------------------------------------------------------- 1 | Checked 1 interleaving(s). No errors found. 2 | -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-both_crash-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-both_crash-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-both_crash-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-both_crash-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-child_crashes-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-child_crashes-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-child_crashes-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-child_crashes-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_bad-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_bad-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_bad-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_bad-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_ok-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_ok-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_ok-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_exit_ok-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_start_timer-inf-dpor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_start_timer-inf-dpor.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/results/timers_afters_exits_crashes-my_start_timer-inf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/results/timers_afters_exits_crashes-my_start_timer-inf.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/src/manolis/good_testcase.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/manolis/good_testcase.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/src/manolis/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/manolis/readme.txt -------------------------------------------------------------------------------- /testsuite/suites/resources/src/manolis/rush_hour.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/manolis/rush_hour.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/manolis/search.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/manolis/search.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/manolis/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/manolis/test.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/percept.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/percept.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/sched_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/sched_tests.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/shootout/pidigits.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/shootout/pidigits.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/shootout/test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/shootout/test.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/shootout/thread_ring.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/shootout/thread_ring.erl -------------------------------------------------------------------------------- /testsuite/suites/resources/src/timers_afters_exits_crashes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/testsuite/suites/resources/src/timers_afters_exits_crashes.erl -------------------------------------------------------------------------------- /utest/concuerror_error_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/utest/concuerror_error_tests.erl -------------------------------------------------------------------------------- /utest/concuerror_instr_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/utest/concuerror_instr_tests.erl -------------------------------------------------------------------------------- /utest/concuerror_lid_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/utest/concuerror_lid_tests.erl -------------------------------------------------------------------------------- /utest/concuerror_state_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/utest/concuerror_state_tests.erl -------------------------------------------------------------------------------- /utest/concuerror_ticket_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mariachris/Concuerror/HEAD/utest/concuerror_ticket_tests.erl --------------------------------------------------------------------------------