DF-5704 / run.2.log
DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged) DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged) DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged)
DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged) DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged) DF-5704 wedge result: REPRODUCED (control unwedged, buggy wedged)