Merge pull request #1168 from whitequark/bugpoint-processes
authorClifford Wolf <clifford@clifford.at>
Tue, 9 Jul 2019 14:59:43 +0000 (16:59 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 14:59:43 +0000 (16:59 +0200)
commite95ce1f7af269447943cf1798c03b02a0c5aa1a2
tree1421d0991a8d3f32bf595e0489cb1508189a9e5f
parenta0787c12f0acd2377fafc2836b70c31c30f7f638
parentf2fb958d44bada70859ef2c4db9076e27da643e7
Merge pull request #1168 from whitequark/bugpoint-processes

Add support for processes in bugpoint