{"action":"closed","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/278","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/278/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/278/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/278/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/278","id":192244977,"number":278,"title":"Fix tasks where preprocessed file does not match original source","user":{"login":"tautschnig","id":1144736,"avatar_url":"https://avatars.githubusercontent.com/u/1144736?v=3","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false},"labels":[{"id":472360268,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/issue%20with%20benchmark","name":"issue with benchmark","color":"d93f0b","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-11-29T10:35:17Z","updated_at":"2016-11-29T10:38:03Z","closed_at":"2016-11-29T10:38:03Z","body":"With #272 merged, we have reported by goto-diff/compare.sh:\r\n- [ ] array-memsafety/cstrlen_unsafe_false-valid-deref.i\r\n- [ ] array-examples/standard_copyInitSum_true-unreach-call_ground.i\r\n- [ ] array-examples/standard_seq_init_true-unreach-call_ground.i\r\n- [ ] bitvector/byte_add_1_true-unreach-call.i\r\n- [ ] bitvector/byte_add_false-unreach-call.i\r\n- [ ] bitvector/gcd_1_true-unreach-call.i\r\n- [ ] bitvector/gcd_2_true-unreach-call.i\r\n- [ ] bitvector/gcd_3_true-unreach-call.i\r\n- [ ] bitvector/interleave_bits_true-unreach-call.i\r\n- [ ] bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i\r\n- [ ] bitvector/modulus_true-unreach-call.i\r\n- [ ] bitvector/num_conversion_2_true-unreach-call.i\r\n- [ ] floats-cbmc-regression/float-flags-simp1_true-unreach-call.i\r\n- [ ] floats-cbmc-regression/float-no-simp4_true-unreach-call.i\r\n- [ ] floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i\r\n- [ ] seq-pthread/cs_dekker_true-unreach-call.i\r\n- [ ] seq-pthread/cs_fib_longer_true-unreach-call.i\r\n- [ ] seq-pthread/cs_fib_true-unreach-call.i\r\n- [ ] seq-pthread/cs_lamport_true-unreach-call.i\r\n- [ ] seq-pthread/cs_peterson_true-unreach-call.i\r\n- [ ] seq-pthread/cs_queue_true-unreach-call.i\r\n- [ ] seq-pthread/cs_read_write_lock_true-unreach-call.i\r\n- [ ] seq-pthread/cs_stack_true-unreach-call.i\r\n- [ ] seq-pthread/cs_stateful_true-unreach-call.i\r\n- [ ] seq-pthread/cs_sync_true-unreach-call.i\r\n- [ ] seq-pthread/cs_szymanski_true-unreach-call.i\r\n- [ ] seq-pthread/cs_time_var_mutex_true-unreach-call.i"}}
{"actor":{"display_login":"tautschnig"}}