GitLab

ID0000364: This issue was created automatically from Mantis Issue 364. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000364	Frama-C	Plug-in > jessie	public	2009-12-24	2010-04-13

Reporter	yegor	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090902	Target Version	-	Fixed in Version	Frama-C Boron-20100401

Description :

Processing of following program by Jessie should not succeed. An error should be reported instead.

/*@ behavior foo: behavior bar:

    complete behaviors foo, bar, foobar;
    disjoint behaviors foo, bar, foobar;

*/ void f() { }