我希望找到一些可以应用于函数或函数指针的ACSL注释,以表明它具有引用透明性。某种说法是“当给定相同的参数时,此函数将始终返回相同的值”。到目前为止我还没有找到这样的方法。有人能告诉我怎么表达吗?或者用某种方法来指任意的逻辑函数?如果我可以命名一个未知的logic boolean uknown_function(void* a, void* b) = /* this is
我试图用一个助手函数从空的可选属性中清除一个类型化的对象,这一切都很好。问题是,我在严格模式下运行,无法解决在if语句中得到的结果上的严格错误。const result = removeEmptyOptionalProperties(testObject);const结果不应该具有任何属性我试着看看它所产生