--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on June 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Help with using user-declared functions in preconditions



Hello Rod,

for something like stack you can look at our approach in Chapter 11 of “ACSL by Example”

	https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf

The code of the examples and the various logic functions and predicates can be found under

	https://github.com/fraunhoferfokus/acsl-by-example