gEDA: Re: Covered Development Release 20030925 available

[Trevor Williams <trevorw@charter.net>]

Here is the URL to the Covered homepage:

http://covered.sourceforge.net

Trevor Williams wrote:

> Covered Development Release 20030925 available
>
> Notes:
> Release covered-20030925 made.  This release contains the first 
> working FSM code
> coverage portion in Covered.  There is a lot more to work on in the 
> FSM code coverage
> area in the way of automatic FSM extraction and state transition 
> specification, but
> this version is able to extract FSM coverage information for an FSM 
> that is located
> by the user.  Please see user's manual for this release for more 
> details on specifying
> FSM location.  Summary and verbose reporting are available for FSM 
> coverage at this
> point.  Additionally, the data format for FSM coverage information in 
> the CDD file
> has been finalized.  FSM coverage merging is also supported in this 
> release.  User and
> development documentation has been updated.  Please give this 
> development version a
> go to get any bugs out of the FSM code coverage engine.
>
> In addition to the FSM coverage support, a bug was fixed in the 
> vector_to_int()
> function when converting a vector whose LSB is a non-zero value.
>
> Here is what is on the horizon for FSM coverage that you should expect 
> to see in the
> coming development releases.
>
>  - Ability for user to specify the location of an FSM using $attribute 
> function.
>  - Ability for user to specify all possible state transitions for a 
> given FSM on the
>    command-line and using inline $attribute functions.
>  - Automatic FSM extraction including locating an FSM and extracting 
> all possible
>    state transitions.