---
layout: fc_discuss_archives
title: Message 17 from Frama-C-discuss on May 2015
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] ACSL type invariants on array elements and fields
- Subject: [Frama-c-discuss] ACSL type invariants on array elements and fields
- From: dcok at grammatech.com (David R. Cok)
- Date: Tue, 05 May 2015 09:26:19 -0400
Why does ACSL not require array elements and fields and memory locations
of type T to satisfy type invariants for T - just global variables and
parameters and, for strong invariants, local variables?
- David