---
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
- Subject: [Frama-c-discuss] a closer look on std::unique_copy
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Fri, 7 Dec 2018 07:43:27 +0000
- In-reply-to: <mailman.3.1543748410.9288.frama-c-discuss@lists.gforge.inria.fr>
- References: <mailman.3.1543748410.9288.frama-c-discuss@lists.gforge.inria.fr>
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