Tarval:

- testsuite results updated (hex output now ignores leading zeros)
- fixed ARRAY-HEAP_EXAMPLE output

[r1050]

diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
index e7152ef..79b5c36 100644 (file)
--- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
@@ -42,8 +42,8 @@ edge: {sourcename: "n42" targetname: "n41" label: "0" color: red}
 node: {title: "n41" label: "ProjX 0 41" color: yellow}
 edge: {sourcename: "n41" targetname: "n43" label: "0" color: red}
 node: {title: "n43" label: "Start  43" color: blue}
-node: {title: "n47" label: "0x00000003Iu  47" color: yellow}
-node: {title: "n50" label: "0x00000140Iu  50" color: yellow}
+node: {title: "n47" label: "0x3Iu  47" color: yellow}
+node: {title: "n50" label: "0x28Iu  50" color: yellow}
 node: {title: "n51" label: "ProjM 1 51" color: yellow}
 edge: {sourcename: "n51" targetname: "n43" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
index e5e7d14..3a3dc90 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
@@ -38,7 +38,7 @@ edge: {sourcename: "n40" targetname: "n39" label: "0" color: red}
 node: {title: "n39" label: "ProjX 0 39" color: yellow}
 edge: {sourcename: "n39" targetname: "n41" label: "0" color: red}
 node: {title: "n41" label: "Start  41" color: blue}
-node: {title: "n45" label: "0x00000003Iu  45" color: yellow}
+node: {title: "n45" label: "0x3Iu  45" color: yellow}
 node: {title: "n47" label: "ProjP 2 47" color: yellow}
 edge: {sourcename: "n47" targetname: "n41" label: "0" }
 node: {title: "n48" label: "ProjM 1 48" color: yellow}

diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg
index 7b82123..aad147f 100644 (file)
--- a/testprograms/ref-results/COND_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg
@@ -62,12 +62,12 @@ edge: {sourcename: "n56" targetname: "n55" label: "0" color: red}
 node: {title: "n55" label: "ProjX 0 55" color: yellow}
 edge: {sourcename: "n55" targetname: "n57" label: "0" color: red}
 node: {title: "n57" label: "Start  57" color: blue}
-node: {title: "n61" label: "0x00000000Is  61" color: yellow}
-node: {title: "n66" label: "0x0000000aIs  66" color: yellow}
+node: {title: "n61" label: "0x0Is  61" color: yellow}
+node: {title: "n66" label: "0xaIs  66" color: yellow}
 node: {title: "n68" label: "ProjT 4 68" color: yellow}
 edge: {sourcename: "n68" targetname: "n57" label: "0" }
-node: {title: "n72" label: "0x00000002Is  72" color: yellow}
-node: {title: "n77" label: "0x00000001Is  77" color: yellow}
+node: {title: "n72" label: "0x2Is  72" color: yellow}
+node: {title: "n77" label: "0x1Is  77" color: yellow}
 node: {title: "n78" label: "ProjM 1 78" color: yellow}
 edge: {sourcename: "n78" targetname: "n57" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
index 4db03cc..2cab73d 100644 (file)
--- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
@@ -25,7 +25,7 @@ edge: {sourcename: "n39" targetname: "n38" label: "0" color: red}
 node: {title: "n38" label: "ProjX 0 38" color: yellow}
 edge: {sourcename: "n38" targetname: "n40" label: "0" color: red}
 node: {title: "n40" label: "Start  40" color: blue}
-node: {title: "n41" label: "0x0000000cIs  41" color: yellow}
+node: {title: "n41" label: "0xcIs  41" color: yellow}
 node: {title: "n42" label: "ProjM 1 42" color: yellow}
 edge: {sourcename: "n42" targetname: "n40" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg
index 7d75713..0aae0b3 100644 (file)
--- a/testprograms/ref-results/DEAD_BLOCK_main.vcg
+++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg
@@ -24,7 +24,7 @@ edge: {sourcename: "n60" targetname: "n61" label: "0" color: red}
 node: {title: "n61" label: "ProjX 0 61" color: yellow}
 edge: {sourcename: "n61" targetname: "n62" label: "0" color: red}
 node: {title: "n62" label: "Start  62" color: blue}
-node: {title: "n65" label: "0x00000002Is  65" color: yellow}
+node: {title: "n65" label: "0x2Is  65" color: yellow}
 node: {title: "n66" label: "ProjM 1 66" color: yellow}
 edge: {sourcename: "n66" targetname: "n62" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg
index b9486ba..bc89ebb 100644 (file)
Binary files a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg and b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg differ

diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
index 345b8c6..6c8a18d 100644 (file)
--- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
@@ -53,7 +53,7 @@ edge: {sourcename: "n64" targetname: "n65" label: "0" }
 node: {title: "n65" label: "CmpT  65" }
 edge: {sourcename: "n65" targetname: "n67" label: "0" }
 edge: {sourcename: "n65" targetname: "n66" label: "1" }
-node: {title: "n66" label: "0x00000002Is  66" color: yellow}
+node: {title: "n66" label: "0x2Is  66" color: yellow}
 node: {title: "n67" label: "ProjIs 0 67" color: yellow}
 edge: {sourcename: "n67" targetname: "n68" label: "0" }
 node: {title: "n68" label: "ProjT 4 68" color: yellow}
@@ -63,11 +63,11 @@ edge: {sourcename: "n71" targetname: "n63" label: "0" color: red}
 node: {title: "n73" label: "SubIs  73" }
 edge: {sourcename: "n73" targetname: "n67" label: "0" }
 edge: {sourcename: "n73" targetname: "n74" label: "1" }
-node: {title: "n74" label: "0x00000003Is  74" color: yellow}
+node: {title: "n74" label: "0x3Is  74" color: yellow}
 node: {title: "n75" label: "AddIs  75" }
 edge: {sourcename: "n75" targetname: "n73" label: "0" }
 edge: {sourcename: "n75" targetname: "n76" label: "1" }
-node: {title: "n76" label: "0x00000005Is  76" color: yellow}
+node: {title: "n76" label: "0x5Is  76" color: yellow}
 node: {title: "n77" label: "ProjM 1 77" color: yellow}
 edge: {sourcename: "n77" targetname: "n62" label: "0" color: blue}
 node: {title: "n80" label: "Bad  80" }

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
index 3ebf41d..77186a9 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
@@ -31,7 +31,7 @@ edge: { sourcename: "n36" targetname: "n31" class: 2 priority: 2 linestyle: dott
 edge: {sourcename: "n36" targetname: "n40" label: "0" color: blue}
 edge: {sourcename: "n36" targetname: "n38" label: "1" }
 edge: {sourcename: "n36" targetname: "n37" label: "2" }
-node: {title: "n37" label: "0x00000002Is  37" color: yellow}
+node: {title: "n37" label: "0x2Is  37" color: yellow}
 edge: { sourcename: "n37" targetname: "n33" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n38" label: "Sel i 38" }
 edge: { sourcename: "n38" targetname: "n31" class: 2 priority: 2 linestyle: dotted}

diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg
index 0e008ee..afcda0d 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg
@@ -32,7 +32,7 @@ edge: {sourcename: "n33" targetname: "n32" label: "0" color: red}
 node: {title: "n32" label: "ProjX 0 32" color: yellow}
 edge: {sourcename: "n32" targetname: "n34" label: "0" color: red}
 node: {title: "n34" label: "Start  34" color: blue}
-node: {title: "n37" label: "0x00000002Is  37" color: yellow}
+node: {title: "n37" label: "0x2Is  37" color: yellow}
 node: {title: "n39" label: "ProjP 3 39" color: yellow}
 edge: {sourcename: "n39" targetname: "n34" label: "0" }
 node: {title: "n40" label: "ProjM 1 40" color: yellow}

diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
index 1749ce0..b39f04f 100644 (file)
--- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
@@ -25,8 +25,8 @@ edge: {sourcename: "n59" targetname: "n58" label: "0" color: red}
 node: {title: "n58" label: "ProjX 0 58" color: yellow}
 edge: {sourcename: "n58" targetname: "n60" label: "0" color: red}
 node: {title: "n60" label: "Start  60" color: blue}
-node: {title: "n62" label: "0x00000002Is  62" color: yellow}
-node: {title: "n63" label: "0x00000000Is  63" color: yellow}
+node: {title: "n62" label: "0x2Is  62" color: yellow}
+node: {title: "n63" label: "0x0Is  63" color: yellow}
 node: {title: "n64" label: "ProjM 1 64" color: yellow}
 edge: {sourcename: "n64" targetname: "n60" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg
index 0aea0a8..74d4a79 100644 (file)
--- a/testprograms/ref-results/IF_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg
@@ -53,10 +53,10 @@ edge: {sourcename: "n8" targetname: "n12" label: "0" color: red}
 node: {title: "n12" label: "ProjX 0 12" color: yellow}
 edge: {sourcename: "n12" targetname: "n9" label: "0" color: red}
 node: {title: "n9" label: "Start  9" color: blue}
-node: {title: "n20" label: "0x00000002Is  20" color: yellow}
+node: {title: "n20" label: "0x2Is  20" color: yellow}
 node: {title: "n16" label: "ProjT 4 16" color: yellow}
 edge: {sourcename: "n16" targetname: "n9" label: "0" }
-node: {title: "n27" label: "0x00000003Is  27" color: yellow}
+node: {title: "n27" label: "0x3Is  27" color: yellow}
 node: {title: "n13" label: "ProjM 1 13" color: yellow}
 edge: {sourcename: "n13" targetname: "n9" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
index e952a5b..96845e7 100644 (file)
--- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
@@ -14,7 +14,7 @@ edge: { sourcename: "n78" targetname: "n77" class: 2 priority: 2 linestyle: dott
 edge: {sourcename: "n78" targetname: "n79" label: "0" color: red}
 node: {title: "n77" label: "Block  77" color: lightyellow}
 edge: {sourcename: "n77" targetname: "n78" label: "0" color: red}
-node: {title: "n76" label: "0x00000000Iu  76" color: yellow}
+node: {title: "n76" label: "0x0Iu  76" color: yellow}
 edge: { sourcename: "n76" targetname: "n77" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n75" label: "CmpT  75" }
 edge: { sourcename: "n75" targetname: "n69" class: 2 priority: 2 linestyle: dotted}
@@ -45,13 +45,13 @@ edge: { sourcename: "n68" targetname: "n69" class: 2 priority: 2 linestyle: dott
 edge: {sourcename: "n68" targetname: "n73" label: "0" color: red}
 node: {title: "n67" label: "Block  67" color: lightyellow}
 edge: {sourcename: "n67" targetname: "n68" label: "0" color: red}
-node: {title: "n85" label: "0x00000000Iu  85" color: yellow}
+node: {title: "n85" label: "0x0Iu  85" color: yellow}
 edge: { sourcename: "n85" targetname: "n77" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n84" label: "PhiIu  84" color: green}
 edge: { sourcename: "n84" targetname: "n69" class: 2 priority: 2 linestyle: dotted}
 edge: {sourcename: "n84" targetname: "n85" label: "0" }
 edge: {sourcename: "n84" targetname: "n83" label: "1" }
-node: {title: "n86" label: "0x00000001Iu  86" color: yellow}
+node: {title: "n86" label: "0x1Iu  86" color: yellow}
 edge: { sourcename: "n86" targetname: "n77" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n83" label: "PhiIu  83" color: green}
 edge: { sourcename: "n83" targetname: "n69" class: 2 priority: 2 linestyle: dotted}

diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg
index 995c480..18070b5 100644 (file)
--- a/testprograms/ref-results/IRREGULAR_CF_main.vcg
+++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg
@@ -50,9 +50,9 @@ edge: {sourcename: "n64" targetname: "n63" label: "0" color: red}
 node: {title: "n63" label: "ProjX 0 63" color: yellow}
 edge: {sourcename: "n63" targetname: "n65" label: "0" color: red}
 node: {title: "n65" label: "Start  65" color: blue}
-node: {title: "n69" label: "0x00000001Is  69" color: yellow}
-node: {title: "n70" label: "0x00000000Is  70" color: yellow}
-node: {title: "n77" label: "0x00000002Is  77" color: yellow}
+node: {title: "n69" label: "0x1Is  69" color: yellow}
+node: {title: "n70" label: "0x0Is  70" color: yellow}
+node: {title: "n77" label: "0x2Is  77" color: yellow}
 node: {title: "n81" label: "ProjM 1 81" color: yellow}
 edge: {sourcename: "n81" targetname: "n65" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg
index 587771a..f35ffc7 100644 (file)
--- a/testprograms/ref-results/IRR_LOOP_main.vcg
+++ b/testprograms/ref-results/IRR_LOOP_main.vcg
@@ -77,12 +77,12 @@ edge: {sourcename: "n76" targetname: "n69" label: "0" color: red}
 
 graph: { title: "n63"  label: "63" status:clustered color:yellow
 edge: {sourcename: "n63" targetname: "n64" label: "0" color: red}
-node: {title: "n62" label: "0x00000002Is  62" color: yellow}
+node: {title: "n62" label: "0x2Is  62" color: yellow}
 node: {title: "n64" label: "ProjX 0 64" color: yellow}
 edge: {sourcename: "n64" targetname: "n65" label: "0" color: red}
 node: {title: "n65" label: "Start  65" color: blue}
-node: {title: "n66" label: "0x00000000Is  66" color: yellow}
-node: {title: "n72" label: "0x00000001Is  72" color: yellow}
+node: {title: "n66" label: "0x0Is  66" color: yellow}
+node: {title: "n72" label: "0x1Is  72" color: yellow}
 node: {title: "n81" label: "ProjM 1 81" color: yellow}
 edge: {sourcename: "n81" targetname: "n65" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
index 007ee16..be7b2ca 100644 (file)
Binary files a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg and b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg differ

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
index 528dafe..f627bcc 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
@@ -36,7 +36,7 @@ edge: {sourcename: "n199" targetname: "n200" label: "1" }
 graph: { title: "n192"  label: "192" status:clustered color:yellow
 edge: {sourcename: "n192" targetname: "n187" label: "0" color: red}
 node: {title: "n191" label: "Jmp  191" }
-node: {title: "n197" label: "0x00000000Is  197" color: yellow}
+node: {title: "n197" label: "0x0Is  197" color: yellow}
 node: {title: "n200" label: "ProjP 2 200" color: yellow}
 edge: {sourcename: "n200" targetname: "n201" label: "0" }
 node: {title: "n201" label: "Alloc  201" }
@@ -61,10 +61,10 @@ edge: {sourcename: "n186" targetname: "n187" label: "0" color: red}
 node: {title: "n187" label: "ProjX 0 187" color: yellow}
 edge: {sourcename: "n187" targetname: "n188" label: "0" color: red}
 node: {title: "n188" label: "Start  188" color: blue}
-node: {title: "n198" label: "0x00000005Is  198" color: yellow}
+node: {title: "n198" label: "0x5Is  198" color: yellow}
 node: {title: "n203" label: "ProjM 1 203" color: yellow}
 edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue}
-node: {title: "n206" label: "0x00000002Is  206" color: yellow}
+node: {title: "n206" label: "0x2Is  206" color: yellow}
 }
 
 node: {title: "n185" label: "Bad  185" }

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
index b414bb8..2e9117c 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
@@ -36,7 +36,7 @@ edge: {sourcename: "n199" targetname: "n200" label: "1" }
 graph: { title: "n192"  label: "192" status:clustered color:yellow
 edge: {sourcename: "n192" targetname: "n187" label: "0" color: red}
 node: {title: "n191" label: "Jmp  191" }
-node: {title: "n197" label: "0x00000000Is  197" color: yellow}
+node: {title: "n197" label: "0x0Is  197" color: yellow}
 node: {title: "n200" label: "ProjP 2 200" color: yellow}
 edge: {sourcename: "n200" targetname: "n201" label: "0" }
 node: {title: "n201" label: "Alloc  201" }
@@ -61,10 +61,10 @@ edge: {sourcename: "n186" targetname: "n187" label: "0" color: red}
 node: {title: "n187" label: "ProjX 0 187" color: yellow}
 edge: {sourcename: "n187" targetname: "n188" label: "0" color: red}
 node: {title: "n188" label: "Start  188" color: blue}
-node: {title: "n198" label: "0x00000005Is  198" color: yellow}
+node: {title: "n198" label: "0x5Is  198" color: yellow}
 node: {title: "n203" label: "ProjM 1 203" color: yellow}
 edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue}
-node: {title: "n206" label: "0x00000002Is  206" color: yellow}
+node: {title: "n206" label: "0x2Is  206" color: yellow}
 }
 
 node: {title: "n185" label: "Bad  185" }

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
index fe5bc62..c9b049b 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
@@ -56,10 +56,10 @@ edge: {sourcename: "n101" targetname: "n100" label: "0" color: red}
 node: {title: "n100" label: "ProjX 0 100" color: yellow}
 edge: {sourcename: "n100" targetname: "n102" label: "0" color: red}
 node: {title: "n102" label: "Start  102" color: blue}
-node: {title: "n106" label: "0x00000005Is  106" color: yellow}
+node: {title: "n106" label: "0x5Is  106" color: yellow}
 node: {title: "n110" label: "ProjM 1 110" color: yellow}
 edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue}
-node: {title: "n114" label: "0x00000002Is  114" color: yellow}
+node: {title: "n114" label: "0x2Is  114" color: yellow}
 }
 
 node: {title: "n121" label: "Bad  121" }

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
index 8b143ad..21470b9 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
@@ -56,10 +56,10 @@ edge: {sourcename: "n101" targetname: "n100" label: "0" color: red}
 node: {title: "n100" label: "ProjX 0 100" color: yellow}
 edge: {sourcename: "n100" targetname: "n102" label: "0" color: red}
 node: {title: "n102" label: "Start  102" color: blue}
-node: {title: "n106" label: "0x00000005Is  106" color: yellow}
+node: {title: "n106" label: "0x5Is  106" color: yellow}
 node: {title: "n110" label: "ProjM 1 110" color: yellow}
 edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue}
-node: {title: "n114" label: "0x00000002Is  114" color: yellow}
+node: {title: "n114" label: "0x2Is  114" color: yellow}
 }
 
 node: {title: "n121" label: "Bad  121" }

diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg
index 66cf8de..6fd1f58 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-all.vcg
+++ b/testprograms/ref-results/PRIMA_c-all.vcg
@@ -47,7 +47,7 @@ edge: {sourcename: "n234" targetname: "n235" label: "0" color: red}
 node: {title: "n235" label: "ProjX 0 235" color: yellow}
 edge: {sourcename: "n235" targetname: "n236" label: "0" color: red}
 node: {title: "n236" label: "Start  236" color: blue}
-node: {title: "n245" label: "0x00000000Is  245" color: yellow}
+node: {title: "n245" label: "0x0Is  245" color: yellow}
 node: {title: "n247" label: "ProjT 4 247" color: yellow}
 edge: {sourcename: "n247" targetname: "n236" label: "0" }
 node: {title: "n250" label: "ProjM 1 250" color: yellow}

diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
index dcf4fe0..1629491 100644 (file)
--- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
@@ -69,10 +69,10 @@ edge: {sourcename: "n75" targetname: "n77" label: "0" color: red}
 node: {title: "n77" label: "Start  77" color: blue}
 node: {title: "n82" label: "ProjT 4 82" color: yellow}
 edge: {sourcename: "n82" targetname: "n77" label: "0" }
-node: {title: "n83" label: "0x00000001Is  83" color: yellow}
-node: {title: "n87" label: "0x00000003Is  87" color: yellow}
-node: {title: "n95" label: "0x00000006Is  95" color: yellow}
-node: {title: "n96" label: "0x00000005Is  96" color: yellow}
+node: {title: "n83" label: "0x1Is  83" color: yellow}
+node: {title: "n87" label: "0x3Is  87" color: yellow}
+node: {title: "n95" label: "0x6Is  95" color: yellow}
+node: {title: "n96" label: "0x5Is  96" color: yellow}
 node: {title: "n97" label: "ProjM 1 97" color: yellow}
 edge: {sourcename: "n97" targetname: "n77" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
index 49eb782..70d4b48 100644 (file)
--- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
@@ -63,8 +63,8 @@ edge: {sourcename: "n71" targetname: "n73" label: "0" color: red}
 node: {title: "n73" label: "Start  73" color: blue}
 node: {title: "n74" label: "ProjT 4 74" color: yellow}
 edge: {sourcename: "n74" targetname: "n73" label: "0" }
-node: {title: "n75" label: "0x00000001Is  75" color: yellow}
-node: {title: "n76" label: "0x00000000Is  76" color: yellow}
+node: {title: "n75" label: "0x1Is  75" color: yellow}
+node: {title: "n76" label: "0x0Is  76" color: yellow}
 node: {title: "n79" label: "ProjM 1 79" color: yellow}
 edge: {sourcename: "n79" targetname: "n73" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/c.vcg b/testprograms/ref-results/c.vcg
index 17c53c4..24c9991 100644 (file)
--- a/testprograms/ref-results/c.vcg
+++ b/testprograms/ref-results/c.vcg
@@ -47,7 +47,7 @@ edge: {sourcename: "n234" targetname: "n235" label: "0" color: red}
 node: {title: "n235" label: "ProjX 0 235" color: yellow}
 edge: {sourcename: "n235" targetname: "n236" label: "0" color: red}
 node: {title: "n236" label: "Start  236" color: blue}
-node: {title: "n245" label: "0x00000000Is  245" color: yellow}
+node: {title: "n245" label: "0x0Is  245" color: yellow}
 node: {title: "n247" label: "ProjT 4 247" color: yellow}
 edge: {sourcename: "n247" targetname: "n236" label: "0" }
 node: {title: "n250" label: "ProjM 1 250" color: yellow}

diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg
index 67c1b06..82226fe 100644 (file)
--- a/testprograms/ref-results/main.vcg
+++ b/testprograms/ref-results/main.vcg
@@ -38,7 +38,7 @@ edge: {sourcename: "n40" targetname: "n39" label: "0" color: red}
 node: {title: "n39" label: "ProjX 0 39" color: yellow}
 edge: {sourcename: "n39" targetname: "n41" label: "0" color: red}
 node: {title: "n41" label: "Start  41" color: blue}
-node: {title: "n45" label: "0x00000003Iu  45" color: yellow}
+node: {title: "n45" label: "0x3Iu  45" color: yellow}
 node: {title: "n47" label: "ProjP 2 47" color: yellow}
 edge: {sourcename: "n47" targetname: "n41" label: "0" }
 node: {title: "n48" label: "ProjM 1 48" color: yellow}