input.c

一个很不错的程序切片工具,希望大家来讨论以下,对测试人员很有帮助

# include "refinery.h"
get_sensor_v (sensor_ptr s) { s->value = read_sensor(); }
get_sensor_f (sensor_ptr s) { s->value = read_sensor(); }
get_sensor_l (sensor_ptr s) { s->value = read_sensor(); }
get_sensor_p (sensor_ptr s) { s->value = read_sensor(); }