---
layout: fc_discuss_archives
title: Message 22 from Frama-C-discuss on May 2012
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Issue understanding Value analysis approximation on loop bounds
- Subject: [Frama-c-discuss] Issue understanding Value analysis approximation on loop bounds
- From: anne.pacalet at free.fr (Anne Pacalet)
- Date: Wed, 09 May 2012 08:23:53 +0200
- In-reply-to: <CAOH62Jg1zWJscGe=qZ4WMM=DrOWrcEE_jmbs5B4Gha73QfPUWg@mail.gmail.com>
- References: <CAOH62JhAyq8W1m8T-U6Sb7hddQS2hW6LqrM2jP7JUf29yhbfxQ@mail.gmail.com> <CAC3Lx=bDY5LLYqLL5Nbiper_yjC81mcpFPkxarQQxiG+Qf3r4w@mail.gmail.com> <CAOH62Jh=knRUk5M3Tcf9R+9Q=nfhnS4zsFoXMzyuu0hJtBgPcQ@mail.gmail.com> <4FA78C2E.90301@adacore.com> <CAOH62Jg1zWJscGe=qZ4WMM=DrOWrcEE_jmbs5B4Gha73QfPUWg@mail.gmail.com>
Hello Pascal,
I just noticed that the default value for the -slevel option is 0
where I always though it was 1. Could you explain what
this default value means in term of time and precision
compared to 1 or other values ?
Thank you,
Anne.