--- layout: post author: Pascal Cuoq date: 2011-08-27 00:53 +0200 categories: position rant format: xhtml title: "Only intervals" summary: --- {% raw %}

More often than is good for me, I find someone on the internet saying something to the effect that \Frama-C only does intervals". Sadly I think I see what they mean.

It's all fine of course. May everyone find joy doing what they like most. I just wish Frama-C was dragged less often into these people's discussion. They don't need to hear about it because they don't have a C program to verify and it ruins my own fun when Google Alerts digs up this kind of comment. But I don't host a cat and it must be a law of nature that everyone should find something foul on their doorstep once in a while.

{% endraw %}