Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Busybox fixes #4

Merged
merged 7 commits into from Sep 11, 2015
Merged

Busybox fixes #4

merged 7 commits into from Sep 11, 2015

Conversation

tautschnig
Copy link
Contributor

The busybox benchmarks generated using goto-instrument had several issues where goto-instrument apparently introduced type errors. Each of the patches in this pull request addresses one class of errors, and the final one removes the busybox files from the blacklist as they now all check successfully.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants