{"action":"created","issue":{"url":"https://api.github.com/repos/dealii/dealii/issues/4007","repository_url":"https://api.github.com/repos/dealii/dealii","labels_url":"https://api.github.com/repos/dealii/dealii/issues/4007/labels{/name}","comments_url":"https://api.github.com/repos/dealii/dealii/issues/4007/comments","events_url":"https://api.github.com/repos/dealii/dealii/issues/4007/events","html_url":"https://github.com/dealii/dealii/pull/4007","id":210244480,"number":4007,"title":"Check that numdiff and diff can run with very simple input.","user":{"login":"drwells","id":3917035,"avatar_url":"https://avatars.githubusercontent.com/u/3917035?v=3","gravatar_id":"","url":"https://api.github.com/users/drwells","html_url":"https://github.com/drwells","followers_url":"https://api.github.com/users/drwells/followers","following_url":"https://api.github.com/users/drwells/following{/other_user}","gists_url":"https://api.github.com/users/drwells/gists{/gist_id}","starred_url":"https://api.github.com/users/drwells/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/drwells/subscriptions","organizations_url":"https://api.github.com/users/drwells/orgs","repos_url":"https://api.github.com/users/drwells/repos","events_url":"https://api.github.com/users/drwells/events{/privacy}","received_events_url":"https://api.github.com/users/drwells/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2017-02-25T16:24:13Z","updated_at":"2017-02-26T07:29:10Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dealii/dealii/pulls/4007","html_url":"https://github.com/dealii/dealii/pull/4007","diff_url":"https://github.com/dealii/dealii/pull/4007.diff","patch_url":"https://github.com/dealii/dealii/pull/4007.patch"},"body":"I think that it is reasonable to add a sanity check here to make sure that the executables we pick up work. If people symlink diff to numdiff then there is not much we can do (what would they expect to happen if we feed the executable numdiff-only flags?) so I think this limited test suffices.\r\n\r\nI tested this by replacing numdiff with a shell script:\r\n```bash\r\n#!/bin/bash\r\nsleep 10\r\n```\r\nand things failed correctly.\r\n\r\nCloses #3661."},"comment":{"url":"https://api.github.com/repos/dealii/dealii/issues/comments/282538668","html_url":"https://github.com/dealii/dealii/pull/4007#issuecomment-282538668","issue_url":"https://api.github.com/repos/dealii/dealii/issues/4007","id":282538668,"user":{"login":"davydden","id":8023934,"avatar_url":"https://avatars.githubusercontent.com/u/8023934?v=3","gravatar_id":"","url":"https://api.github.com/users/davydden","html_url":"https://github.com/davydden","followers_url":"https://api.github.com/users/davydden/followers","following_url":"https://api.github.com/users/davydden/following{/other_user}","gists_url":"https://api.github.com/users/davydden/gists{/gist_id}","starred_url":"https://api.github.com/users/davydden/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davydden/subscriptions","organizations_url":"https://api.github.com/users/davydden/orgs","repos_url":"https://api.github.com/users/davydden/repos","events_url":"https://api.github.com/users/davydden/events{/privacy}","received_events_url":"https://api.github.com/users/davydden/received_events","type":"User","site_admin":false},"created_at":"2017-02-26T07:29:10Z","updated_at":"2017-02-26T07:29:10Z","body":">  The gmp-issue with numdiff was intermittent wasn't it?\r\n\r\ncorrect."}}
{"actor":{"display_login":"davydden"}}