--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on October 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Define a Logic function returning an array



Hi, 

I’m a graduate student in the University of Delaware.

Currently, I am studying on some array logic things like the array addition.
And I’m trying to create annotations for functions processing arrays.

Is it possible to express a logic function returning an array in ACSL?

Sincerely,
Wenhao Wu