Changeset 98 for vis_dev/vis-2.3/src/rob

Timestamp:

Jul 15, 2012, 2:15:06 PM (12 years ago)

Author:

cecile

Message:

add part of cex

Location:

vis_dev/vis-2.3/src/rob

Files:

• Robust.c (modified) (1 diff)
• robCmd.c (modified) (2 diffs)

vis_dev/vis-2.3/src/rob/Robust.c

@@ -1696 +1696 @@
  *  Synopsis    [Generate name of protected register]
 
-  Description [Generate file containing names of latches int he golden model that have to be
-  protected. ]
+  Description [Generate file containing names of latches in the golden model 
+  that have to be protected. ]
 
   SideEffects []

vis_dev/vis-2.3/src/rob/robCmd.c

@@ -1484 +1484 @@
 Hrc_Node_t * rootNode = Hrc_ManagerReadRootNode(*hmgr);
 if(rootNode == NIL(Hrc_Node_t)){
-        printf("Please build the network first");
+        printf("Please build the network first\n");
         return 1;
 }
@@ -1491 +1491 @@
 Hrc_Node_t * goldenNode = Hrc_NodeFindChildByName(rootNode, name);
 if(goldenNode == NIL(Hrc_Node_t)){
-        printf("Please build the network first");
+        printf("Compose the network with a golden name golden first\n");
         return 1;
 }