sparse-intern-71089
07/03/2019, 5:18 PMwhite-balloon-205
check
gets passed "old inputs" and "new inputs", whereas diff
gets passed "old outputs" and "new checked inputs" (the inputs returned from check
).white-balloon-205
thankful-lamp-48382
07/03/2019, 5:49 PM