--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on December 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] a closer look on std::unique_copy



Hello Yannick,

Thanks a lot for your explanation of how you tackled unique_copy in with Spark!
I am more and more reluctant to rely on axiomatic definitions in Frama-C.
Therefore it’s good to see how this can be avoided.

Regards

Jens