Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
pn2mc:quick_start [2014/11/14 19:19] jbiernacki [Main features] | pn2mc:quick_start [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 15: | Line 15: | ||
===== Steps required to generate nuXmv code for an RTCP-net ===== | ===== Steps required to generate nuXmv code for an RTCP-net ===== | ||
- | + | | |
- | | + | - Select //RTCP Nets// option from the combo box. |
- | - Select //RTCP Nets// option from the combo box. \\ {{: | + | - Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. |
- | - Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. \\ {{: | + | - Click the // |
- | - Click the // | + | - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. |
- | - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. \\ {{: | + | |