About the use of vl2mv

From: Jean-Luc Mercadier (jean-luc.mercadier@tni-valiosys.com)
Date: Tue Jul 02 2002 - 06:37:15 MDT

Next message: Jean-Luc Mercadier: "About the use of vl2mv"

Previous message: Fabio Somenzi: "Re: More about the use of approximate_model_check"
Next in thread: Jean-Luc Mercadier: "About the use of vl2mv"
Reply: Emil: "Re: About the use of vl2mv"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Hello,

I've tried the latest version of vl2mv (v 0.3) but the generated file does not pass the syntax checking of VIS 1.4. The construction .bundle doesn't seem to be supported.

What is the way to build VIS 1.4 compliant files with vl2mv ?
What is the version of vl2mv that build files that are supported by VIS ?

Thanks in advance for your response.

Jean-Luc Mercadier

Next message: Jean-Luc Mercadier: "About the use of vl2mv"
Previous message: Fabio Somenzi: "Re: More about the use of approximate_model_check"
Next in thread: Jean-Luc Mercadier: "About the use of vl2mv"
Reply: Emil: "Re: About the use of vl2mv"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Tue Jul 02 2002 - 05:51:41 MDT