Changes between Version 29 and Version 30 of MoMoC

Timestamp:

Nov 2, 2020, 9:21:38 PM (4 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -36 +36 @@
 In the Examples folder, some exemplary reference net systems are provided to demonstrate the capabilities of MoMoC.
 All net templates must be opened and the ''root net instance'' (usually the net called ''System'') must be selected /active.
+
+[[span(style=color: #FF0000, Warning: MoMoC cannot verify unbounded nets and will run into an infinite loop when trying to do so! )]]
 
 == User Interface