Commit e2360686 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Updated terminating status on soter benchmarks

parent 61d4ca92
cav-benchmarks/soter/concdb__single_client_writes__depth_0
cav-benchmarks/soter/concdb__single_client_writes__depth_1
cav-benchmarks/soter/concdb__single_client_writes__depth_2
cav-benchmarks/soter/pipe__single_message_in_mailbox__depth_1
cav-benchmarks/soter/pipe__single_message_in_mailbox__depth_2
cav-benchmarks/soter/reslockbeh__critical__depth_0
cav-benchmarks/soter/reslockbeh__critical__depth_1
cav-benchmarks/soter/reslockbeh__critical__depth_2
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_0
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_1
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_2
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_0
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_1
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_2
cav-benchmarks/soter/sieve__single_message_in_filter_mailbox__depth_0
cav-benchmarks/soter/sieve__single_message_in_sieve_mailbox__depth_0
cav-benchmarks/soter/state_factory__after_receive_if_no_mail__depth_0
cav-benchmarks/soter/state_factory__single_message_in_mailbox__depth_0
cav-benchmarks/soter/state_factory__single_message_in_mailbox__depth_1
cav-benchmarks/soter/pipe__single_message_in_mailbox__depth_0
cav-benchmarks/soter/pipe__single_message_in_mailbox__depth_1
cav-benchmarks/soter/pipe__single_message_in_mailbox__depth_2
cav-benchmarks/soter/stutter__we_abhorr_as__depth_0
cav-benchmarks/soter/stutter__we_abhorr_as__depth_1
cav-benchmarks/soter/stutter__we_abhorr_as__depth_2
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_0
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_1
cav-benchmarks/soter/sieve__single_message_in_counter_mailbox__depth_2
cav-benchmarks/soter/sieve__single_message_in_filter_mailbox__depth_0
cav-benchmarks/soter/sieve__single_message_in_sieve_mailbox__depth_0
cav-benchmarks/soter/concdb__single_client_writes__depth_0
cav-benchmarks/soter/concdb__single_client_writes__depth_1
cav-benchmarks/soter/concdb__single_client_writes__depth_2
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_0
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_1
cav-benchmarks/soter/ring__single_message_in_mailbox__depth_2
......@@ -25,3 +25,9 @@ cav-benchmarks/soter/safe_send__sending_to_non_pid__depth_0
cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_0
cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_1
cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_2
cav-benchmarks/soter/reslockbeh__critical__depth_0
cav-benchmarks/soter/reslockbeh__critical__depth_1
cav-benchmarks/soter/reslockbeh__critical__depth_2
cav-benchmarks/soter/state_factory__after_receive_if_no_mail__depth_0
cav-benchmarks/soter/state_factory__single_message_in_mailbox__depth_0
cav-benchmarks/soter/state_factory__single_message_in_mailbox__depth_1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment