Frama-C Bug Tracking System - Frama-C
View Issue Details
0000272Frama-CPlug-in > jessiepublic2009-10-06 15:032014-02-12 16:55
Reporterkerstin 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090901 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000272: complete behaviors; disjoint behaviors;
DescriptionHello,
as a "wish" for future implementation I would be very happy about taking into consideration complete and disjoint behaviors. This feature could be a very useful one.

Btw:
Right now syntax errors occur when using:
complete behaviors;
disjoint behaviors;

while using it with named behaviors do not end in syntax errors:
complete behaviors named behavior1, named behavior2;

Thank you in advance,
Regards,
Kerstin
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2009-10-06 15:03kerstinNew Issue
2009-10-09 15:19signolesStatusnew => assigned
2009-10-09 15:19signolesAssigned To => virgile
2010-02-10 16:01svn
2010-02-10 16:01svnStatusassigned => resolved
2010-02-10 16:01svnResolutionopen => fixed
2010-04-13 15:30signolesStatusresolved => new
2010-04-13 15:31signolesStatusnew => closed
2010-04-13 15:33signolesFixed in Version => Frama-C Boron
2013-12-19 01:13Source_changeset_attached => framac master 243ca93f
2014-02-12 16:55Source_changeset_attached => framac stable/neon 243ca93f