浮点计数器
浮点数0.1的累加求和。（验证时间约45sec）
[Back to Index]
验证特点：浮点数计算，逻辑函数，\is_infinite
标注说明：本文件有两个函数，分别说明浮点计算程序的验证特点。函数的协议请见各函数内的标注说明。
程序样例 
浮点数0.1的累加求和。（验证时间约45sec）
验证特点：浮点数计算，逻辑函数，\is_infinite
标注说明：本文件有两个函数，分别说明浮点计算程序的验证特点。函数的协议请见各函数内的标注说明。
程序样例