added disclaimer & descriptor templates

pvsioweb · Nov 15, 2016 · 7ef25c2 · 7ef25c2
1 parent 88700ba
commit 7ef25c2
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/client/app/plugins/emulink/models/nuxmv/templates/nuxmv_descriptor.handlebars b/src/client/app/plugins/emulink/models/nuxmv/templates/nuxmv_descriptor.handlebars
@@ -0,0 +1,9 @@
+-- ---------------------------------------------------------------
+--  Module: {{name}}
+--  Author: {{author}}
+--          {{affiliation}}
+--          {{contact}}
+-- ---------------------------------------------------------------
+{{#if description}}--  {{description}}
+-- ---------------------------------------------------------------
+{{/if}}
diff --git a/src/client/app/plugins/emulink/models/nuxmv/templates/nuxmv_disclaimer.handlebars b/src/client/app/plugins/emulink/models/nuxmv/templates/nuxmv_disclaimer.handlebars
@@ -0,0 +1,4 @@
+-- ---------------------------------------------------------------
+--  NuXMV model generated using PVSio-web NuXMVPrinter ver {{version}}
+--  Tool freely available at http://www.pvsioweb.org"
+-- ---------------------------------------------------------------