You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
run-pass/bind-native-fn.rs writes data to stdin, however, the pipe end is closed in the run function of compiletest/procsrv.rs. That causes testcase to exit with status 1 on FreeBSD.
The text was updated successfully, but these errors were encountered:
@crabtw I'm a bit confused -- did your pull request (which I just merged) fix this bug? (It's easier for me to ask than test, not having a FreeBSD machine on my desktop :-)
@catamorphism Sorry, I did not explain clearly. That request was for #1825. In order to test that patch, I removed bind-native-fn test from my local tree to avoid test failure.
After seeing the log of buildbot, I find that bind-native-fn test does not fail on buildbot. #2325 and #2520 are in similar situation. They happen on buildbot but my machine does not.
@crabtw Ok -- since the test passes on buildbot, I'm going to close this; however, if you figure out a way to reproduce it (on a FreeBSD machine other than yours :-) feel free to reopen this or open a new issue.
This ensures that benchcomp does not crash even if no
number_program_steps metric was recorded for a kani perf benchmark,
perhaps because Kani crashed or timed out.
run-pass/bind-native-fn.rs
writes data to stdin, however, the pipe end is closed in therun
function ofcompiletest/procsrv.rs
. That causes testcase to exit with status 1 on FreeBSD.The text was updated successfully, but these errors were encountered: