search

cmu-mars / brass-unlogger

post process logs from lincoln tests into summary data
0 stars 0 forks source link

sending done messages #5

Open ivoysey opened 7 years ago

ivoysey commented 7 years ago

the P1 spec allowed us to be sound but not complete with sending done messages; P2 does not give us that luxury. to better understand what it would take, we should check out when done messages actually got sent versus when we were done, why, and what happened to them