src/plugins/e-acsl/tests/constructs/oracle/gen_axiomatic.c · 62f4703064f6194cbe59bec13f620831771aeac0 · pub / frama-c

7 months ago

Jan Rochel authored 7 months ago

The previous commit showcases a simple piece of code that causes an
exception. This commit fixes this exception.

62f47030

Jan Rochel authored 7 months ago

The previous commit showcases a simple piece of code that causes an
exception. This commit fixes this exception.