Create your own Code Generation Set

General discussions about code engineering

Moderator: Moderators

Create your own Code Generation Set

Postby Weilkiti » Fri Jul 19, 2019 1:11 am

Hi,

I would like to create a new code generation set to create code for NuSMV (http://nusmv.fbk.eu/NuSMV/download/getting-v2.html). I could not find an appropriate menu entry nor something in the documentation.

Is it possible to create your own code generation sets in MD?

Best regards,
Tim
Weilkiti
Forum Newbie
Forum Newbie
 
Posts: 11
Posts Rating:1
Joined: Sun May 22, 2016 11:55 pm

Return to Code engineering

Who is online

Users browsing this forum: No registered users and 0 guests

cron