tclbdd

Check-in [8da5c0dbfe]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:run example quietly
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:8da5c0dbfeb061fbdd1320e5597e8b72c566e8e8
User & Date: kbk 2013-12-21 03:04:13
Context
2013-12-21
16:37
more changes to fix testing against an uninstalled tclbdd check-in: 84b4e03af2 user: kbk tags: trunk
03:04
run example quietly check-in: 8da5c0dbfe user: kbk tags: trunk
01:21
Made example code quieter. check-in: 28643a8e70 user: kbk tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to examples/loadProgram.tcl.

81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97

    # Create the program database
    
    bdd::fddd::database create $db \
	[bdd::fddd::concatenate \
	     [bdd::fddd::domain v $vbits bigendian] \
	     [bdd::fddd::interleave \
		  [bdd::fddd::domain st  $stbits littleendian] \
		  [bdd::fddd::domain st2 $stbits littleendian] \
		  [bdd::fddd::domain st3 $stbits littleendian]]]
    
    $db relation reads st v
    $db relation writes st v
    $db relation seq st st2

    # pass 2 - discover 'reads', 'writes', 'seq' relations
    lassign [pass2 $program $vars $labels] reads writes seq







|
|
|







81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97

    # Create the program database
    
    bdd::fddd::database create $db \
	[bdd::fddd::concatenate \
	     [bdd::fddd::domain v $vbits bigendian] \
	     [bdd::fddd::interleave \
		  [bdd::fddd::domain st  $stbits bigendian] \
		  [bdd::fddd::domain st2 $stbits bigendian] \
		  [bdd::fddd::domain st3 $stbits bigendian]]]
    
    $db relation reads st v
    $db relation writes st v
    $db relation seq st st2

    # pass 2 - discover 'reads', 'writes', 'seq' relations
    lassign [pass2 $program $vars $labels] reads writes seq

Changes to examples/reach.tcl.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
source [file join [file dirname [info script]] loadProgram.tcl]

proc profile! {db var} {
    puts "$var: [$db profile $var]"
}

# interp alias {} profile {} profile!
proc profile args {}

source [file join [file dirname [info script]] program1.tcl]

set vars [analyzeProgram $program db]

profile db reads
profile db writes






|
|







1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
source [file join [file dirname [info script]] loadProgram.tcl]

proc profile! {db var} {
    puts "$var: [$db profile $var]"
}

interp alias {} profile {} profile!
# proc profile args {}

source [file join [file dirname [info script]] program1.tcl]

set vars [analyzeProgram $program db]

profile db reads
profile db writes