Replace system() by run() #2920
Conversation
kroening
requested review from
peterschrammel,
pkesseli,
smowton and
tautschnig
as code owners
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: 51d130a).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84197393
kroening
force-pushed
the
replace-system-by-run
branch
from
51d130a to
b727ef4
Compare
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: b727ef4).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84205576
kroening
force-pushed
the
replace-system-by-run
branch
from
b727ef4 to
487b122
Compare
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: 487b122).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84219947
kroening
force-pushed
the
replace-system-by-run
branch
from
487b122 to
27c2695
Compare
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: 27c2695).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84282209
kroening
force-pushed
the
replace-system-by-run
branch
from
27c2695 to
c57902b
Compare
kroening
force-pushed
the
replace-system-by-run
branch
from
c57902b to
3347f41
Compare
kroening
force-pushed
the
replace-system-by-run
branch
from
3347f41 to
448c780
Compare
There was a problem hiding this comment.
This PR failed Diffblue compatibility checks (cbmc commit: c57902b).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84389057
Status will be re-evaluated on next push.
Please contact @peterschrammel, @thk123, or @allredj for support.
Common spurious failures:
- the cbmc commit has disappeared in the mean time (e.g. in a force-push)
- the author is not in the list of contributors (e.g. first-time contributors).
There was a problem hiding this comment.
This PR failed Diffblue compatibility checks (cbmc commit: 3347f41).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84391911
Status will be re-evaluated on next push.
Please contact @peterschrammel, @thk123, or @allredj for support.
Common spurious failures:
- the cbmc commit has disappeared in the mean time (e.g. in a force-push)
- the author is not in the list of contributors (e.g. first-time contributors).
There was a problem hiding this comment.
This PR failed Diffblue compatibility checks (cbmc commit: 448c780).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/84394747
Status will be re-evaluated on next push.
Please contact @peterschrammel, @thk123, or @allredj for support.
Common spurious failures:
- the cbmc commit has disappeared in the mean time (e.g. in a force-push)
- the author is not in the list of contributors (e.g. first-time contributors).
No description provided.