Mercurial > hg > Members > ikki > CbC_log
changeset 4:d6911fe00127
add new log
| author | ichikitakahiro <e165713@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 17 Mar 2021 14:12:41 +0900 |
| parents | 221b3052e3b8 |
| children | 7599728af8ba |
| files | log3_17_DebugGeneratestub.txt |
| diffstat | 1 files changed, 537 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/log3_17_DebugGeneratestub.txt Wed Mar 17 14:12:41 2021 +0900 @@ -0,0 +1,537 @@ +Last login: Tue Mar 16 18:26:58 on ttys000 +ichikitakahiro % gears +ichikitakahiro % pwd +/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution +ichikitakahiro % vim CMakeLists.txt +ichikitakahiro % vim CMakeLists.txt + + + + + + + + + + + +ichikitakahiro % hg remove -f examples/DPP +removing examples/DPP/Fork.h +removing examples/DPP/ForkImpl.cbc +removing examples/DPP/ForkImpl.h +removing examples/DPP/Phils.h +removing examples/DPP/PhilsImpl.cbc +removing examples/DPP/PhilsImpl.h +removing examples/DPP/PhilsImplMC.cbc +removing examples/DPP/main.cbc +ichikitakahiro % hg remove -f examples/DPP2 +removing examples/DPP2/AtomicTImpl.cbc +removing examples/DPP2/AtomicT_int.h +removing examples/DPP2/AtomicT_intImpl_int.h +removing examples/DPP2/Fork.h +removing examples/DPP2/ForkImpl.cbc +removing examples/DPP2/ForkImpl.h +removing examples/DPP2/Phils.h +removing examples/DPP2/PhilsImpl.cbc +removing examples/DPP2/PhilsImpl.h +removing examples/DPP2/PhilsImplMC.cbc +removing examples/DPP2/main.cbc +ichikitakahiro % vim CMakeLists.txt +ichikitakahiro % hg commit -m "remove DPP&DPP2" +ichikitakahiro % hg push +pushing to ssh://firefly/hg/Gears/Gears +searching for changes +remote: adding changesets +remote: adding manifests +remote: adding file changes +remote: added 1 changesets with 2 changes to 2 files +ichikitakahiro % ls examples +DPPMC boundedBuffer generics_test pop_and_push twice +bitonicSort calc piposaru sandbox wc +ichikitakahiro % ls +Atomic.h MultiDimIterator.cbc cmake_install.cmake +AtomicReference.cbc Queue.h compare.c +AtomicT.h RedBlackTree.agda context.h +AtomicTImpl.cbc RedBlackTree.cbc cuda.c +AtomicTImpl.h RedBlackTreeReWright.cbc examples +Buffer.h Semaphore.h generate_context.pl +CMakeCache.txt SemaphoreImpl.cbc generate_stub.pl +CMakeFiles SingleLinkedQueue.cbc helper_cuda.h +CMakeLists.txt SingleLinkedStack.cbc helper_string.h +CPUWorker.cbc SpinLock.cbc impl +CUDAExecutor.cbc Stack.h interface +CUDAWorker.cbc SynchronizedQueue.cbc lib +CodeGear.h TaskIterator.cbc perlTests +DPP2 TaskManager.h plautogen +Executor.h TaskManagerImpl.cbc stack.agda +Iterator.h Timer.h temp.cbc +Lock.h TimerImpl.cbc test +LockImpl.cbc Todo tmp_tool +MCTaskManagerImpl.cbc Tree.h tools +MCTaskManagerImpl.h Worker.h twice +Makefile c verifier +ModelChecking cleanup.sh +ichikitakahiro % vim generate_stub.pl +ichikitakahiro % rm -rf c/examples/wc +ichikitakahiro % make -n wc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -S/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution -B/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution --check-build-system CMakeFiles/Makefile.cmake 0 +/Applications/Xcode.app/Contents/Developer/usr/bin/make -s -f CMakeFiles/Makefile2 wc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -S/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution -B/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution --check-build-system CMakeFiles/Makefile.cmake 0 +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_progress_start /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles 8 +/Applications/Xcode.app/Contents/Developer/usr/bin/make -s -f CMakeFiles/Makefile2 CMakeFiles/wc.dir/all +/Applications/Xcode.app/Contents/Developer/usr/bin/make -s -f CMakeFiles/wc.dir/build.make CMakeFiles/wc.dir/depend +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num= "Generating c/examples/wc/WcImpl.c" +perl generate_stub.pl -o c/examples/wc/WcImpl.c examples/wc/WcImpl.cbc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=95 "Generating c/examples/wc/main.c" +perl generate_stub.pl -o c/examples/wc/main.c examples/wc/main.cbc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=96 "Generating c/wc-context.c" +perl generate_context.pl -o wc -w c/TaskManagerImpl.c c/CPUWorker.c c/SynchronizedQueue.c c/AtomicReference.c c/SingleLinkedStack.c c/examples/wc/main.c c/examples/wc/WcImpl.c +cd /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution && /usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_depends "Unix Makefiles" /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles/wc.dir/DependInfo.cmake --color= +/Applications/Xcode.app/Contents/Developer/usr/bin/make -s -f CMakeFiles/wc.dir/build.make CMakeFiles/wc.dir/build +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=95 "Generating c/examples/wc/main.c" +perl generate_stub.pl -o c/examples/wc/main.c examples/wc/main.cbc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --green --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num= "Building C object CMakeFiles/wc.dir/c/examples/wc/main.c.o" +/Users/ichikitakahiro/workspace/cr/CbC/build/bin/gcc -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -Wall -g -o CMakeFiles/wc.dir/c/examples/wc/main.c.o -c /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/examples/wc/main.c +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num= "Generating c/examples/wc/WcImpl.c" +perl generate_stub.pl -o c/examples/wc/WcImpl.c examples/wc/WcImpl.cbc +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --green --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=99 "Building C object CMakeFiles/wc.dir/c/examples/wc/WcImpl.c.o" +/Users/ichikitakahiro/workspace/cr/CbC/build/bin/gcc -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -Wall -g -o CMakeFiles/wc.dir/c/examples/wc/WcImpl.c.o -c /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/examples/wc/WcImpl.c +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=96 "Generating c/wc-context.c" +perl generate_context.pl -o wc -w c/TaskManagerImpl.c c/CPUWorker.c c/SynchronizedQueue.c c/AtomicReference.c c/SingleLinkedStack.c c/examples/wc/main.c c/examples/wc/WcImpl.c +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --green --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num= "Building C object CMakeFiles/wc.dir/c/wc-context.c.o" +/Users/ichikitakahiro/workspace/cr/CbC/build/bin/gcc -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -Wall -g -o CMakeFiles/wc.dir/c/wc-context.c.o -c /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/wc-context.c +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --green --bold --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=100 "Linking C executable wc" +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_link_script CMakeFiles/wc.dir/link.txt --verbose= +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_echo_color --switch= --progress-dir=/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles --progress-num=93,94,95,96,97,98,99,100 "Built target wc" +/usr/local/Cellar/cmake/3.19.4/bin/cmake -E cmake_progress_start /Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CMakeFiles 0 +ichikitakahiro % perl generate_stub.pl -o c/examples/wc/WcImpl.c examples/wc/WcImpl.cbc +Use of uninitialized value $structType in pattern match (m//) at generate_stub.pl line 774. +Use of uninitialized value $structType in concatenation (.) or string at generate_stub.pl line 780. +ichikitakahiro % vim generate_stub.pl +ichikitakahiro % vim generate_stub.pl +ichikitakahiro % perl generate_stub.pl -o c/examples/wc/WcImpl.c examples/wc/WcImpl.cbc +ichikitakahiro % vim generate_stub.pl +ichikitakahiro % perl -d generate_stub.pl -o c/examples/wc/WcImpl.c examples/wc/WcImpl.cbc + +Loading DB routines from perl5db.pl version 1.57 +Editor support available. + +Enter h or 'h h' for help, or 'man perldebug' for more help. + +main::(generate_stub.pl:29): our($opt_o,$opt_d,$opt_h, $opt_project, $opt_debug); + DB<1> n +main::(generate_stub.pl:31): GetOptions( +main::(generate_stub.pl:32): "o=s" => \$opt_o, +main::(generate_stub.pl:33): "d=s" => \$opt_d, +main::(generate_stub.pl:34): "h" => \$opt_h, +main::(generate_stub.pl:35): "project=s" => \$opt_project, +main::(generate_stub.pl:36): "debug" => \$opt_debug, +main::(generate_stub.pl:37): ); + DB<1> n +main::(generate_stub.pl:39): my $dir = "."; + DB<1> ? +??: not found + DB<1> h +List/search source lines: Control script execution: + l [ln|sub] List source code T Stack trace + - or . List previous/current line s [expr] Single step [in expr] + v [line] View around line n [expr] Next, steps over subs + f filename View source in file <CR/Enter> Repeat last n or s + /pattern/ ?patt? Search forw/backw r Return from subroutine + M Show module versions c [ln|sub] Continue until position +Debugger controls: L List break/watch/actions + o [...] Set debugger options t [n] [expr] Toggle trace [max depth] ][trace expr] + <[<]|{[{]|>[>] [cmd] Do pre/post-prompt b [ln|event|sub] [cnd] Set breakpoint + ! [N|pat] Redo a previous command B ln|* Delete a/all breakpoints + H [-num] Display last num commands a [ln] cmd Do cmd before line + = [a val] Define/list an alias A ln|* Delete a/all actions + h [db_cmd] Get help on command w expr Add a watch expression + h h Complete help page W expr|* Delete a/all watch exprs + |[|]db_cmd Send output to pager ![!] syscmd Run cmd in a subprocess + q or ^D Quit R Attempt a restart +Data Examination: expr Execute perl code, also see: s,n,t expr + x|m expr Evals expr in list context, dumps the result or lists methods. + p expr Print expression (uses script's current package). + S [[!]pat] List subroutine names [not] matching pattern + V [Pk [Vars]] List Variables in Package. Vars can be ~pattern or !pattern. + X [Vars] Same as "V current_package [Vars]". i class inheritance tree. + y [n [Vars]] List lexicals in higher scope <n>. Vars same as V. + e Display thread id E Display all thread ids. +For more help, type h cmd_letter, or run man perldebug for all docs. + DB<1> b generateImplStubArgs + DB<2> c +main::generateImplStubArgs(generate_stub.pl:497): +497: my ($codeGearName, $varName, $typeName, $ptrType, $output, $interfaceName, $isImpl) = @_; + DB<2> p @_ +openFileWcImplfilenamechar*0Wc1 + DB<3> p "@_\n" +openFileWcImpl filename char * 0 Wc 1 + + DB<4> T +@ = DB::DB called from file 'generate_stub.pl' line 497 +$ = main::generateImplStubArgs('openFileWcImpl', 'filename', 'char', *, 0, 'Wc', 1) called from file 'generate_stub.pl' line 547 +. = main::generateStubArgs('openFileWcImpl', 'filename', 'char', *, 'char', ref(HASH), 0) called from file 'generate_stub.pl' line 793 +. = main::generateDataGear('examples/wc/WcImpl.cbc', ref(ARRAY)) called from file 'generate_stub.pl' line 97 + DB<5> l 793 +793: generateStubArgs($currentCodeGearName, $varName, $typeName, $ptrType, $typeField, $implInterfaceInfo,0); + DB<6> l 783 +783: } elsif ($args =~ s/^(struct|union|const|enum)?\s*(\w+)(\**)\s(\w+)//) { + DB<7> l +784: my $structType = $1 // ''; +785: my $typeName = $2; +786: my $ptrType = $3; +787: my $varName = $4; +788: $newArgs .= $&; # assuming no duplicate +789: if ($structType && ($structType =~ /(const|enum)/)) { +790: $typeName = "$structType $typeName"; +791 } +792: my $typeField = lcfirst($typeName); +793: generateStubArgs($currentCodeGearName, $varName, $typeName, $ptrType, $typeField, $implInterfaceInfo,0); + DB<8> use Data::Dumper + + DB<9> print Dumper $headerNameToInfo +$VAR1 = { + 'AtomicT' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/AtomicT.h', + 'isInterface' => 1 + }, + 'BoundedBuffer' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/BoundedBuffer.h' + }, + 'Worker' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Worker.h' + }, + 'memory' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/ModelChecking/memory.h' + }, + 'RotateTree' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/RotateTree.h' + }, + 'Buffer' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Buffer.h' + }, + 'Fork' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/Fork.h' + }, + 'StackGenericsImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/impl/StackGenericsImpl.h', + 'isInterface' => 0 + }, + 'ArrayStack' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/ArrayStack.h', + 'isInterface' => 1 + }, + 'extern' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/extern.h', + 'isInterface' => 0 + }, + 'Wc' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/wc/Wc.h', + 'isInterface' => 1 + }, + 'Node' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Node.h', + 'isInterface' => 1 + }, + 'MCWorker' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/ModelChecking/MCWorker.h', + 'isInterface' => 0 + }, + 'TaskManagerImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/TaskManagerImpl.h', + 'isInterface' => 0 + }, + 'Tree' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Tree.h', + 'isInterface' => 1 + }, + 'Stack' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Stack.h', + 'isInterface' => 1 + }, + 'PhilsImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/PhilsImpl.h', + 'isInterface' => 0 + }, + 'CPUWorker' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/CPUWorker.h', + 'isInterface' => 1 + }, + 'Timer' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Timer.h' + }, + 'MultiDim' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/MultiDim.h', + 'isInterface' => 1 + }, + 'TaskManager' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/TaskManager.h' + }, + 'Meta' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Meta.h', + 'isInterface' => 1 + }, + 'RedBlackTree' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/RedBlackTree.h' + }, + 'Semaphore' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Semaphore.h' + }, + 'Lexer' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/piposaru/Lexer.h', + 'isInterface' => 1 + }, + 'context' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/context.h', + 'isInterface' => 0 + }, + 'LockImpl' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/LockImpl.h' + }, + 'SortArray' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/bitonicSort/SortArray.h', + 'isInterface' => 1 + }, + 'McDPP' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/McDPP.h' + }, + 'Element' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Element.h' + }, + 'typedefData' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/typedefData.h', + 'isInterface' => 0 + }, + 'StackTest2' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/StackTest2.h', + 'isInterface' => 1 + }, + 'StackTest2Impl' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/StackTest2Impl.h' + }, + 'StackTestImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/StackTestImpl.h', + 'isInterface' => 0 + }, + 'StackGenerics' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/interface/StackGenerics.h' + }, + 'WcImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/wc/WcImpl.h', + 'isInterface' => 0 + }, + 'piposaru' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/piposaru/piposaru.h', + 'isInterface' => 0 + }, + 'Allocate' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Allocate.h', + 'isInterface' => 1 + }, + 'Array' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Array.h' + }, + 'Queue' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Queue.h', + 'isInterface' => 1 + }, + 'helper_string' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/helper_string.h' + }, + 'SingleLinkedQueue' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/SingleLinkedQueue.h' + }, + 'CUDAExecutor' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/CUDAExecutor.h', + 'isInterface' => 0 + }, + 'ForkImpl' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/ForkImpl.h' + }, + 'MultiDimIterator' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/MultiDimIterator.h' + }, + 'helper_cuda' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/helper_cuda.h', + 'isInterface' => 0 + }, + 'AtomicT_intImpl_int' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/AtomicT_intImpl_int.h' + }, + 'LexerImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/piposaru/LexerImpl.h', + 'isInterface' => 0 + }, + 'SingleLinkedStack' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/SingleLinkedStack.h', + 'isInterface' => 0 + }, + 'LoopCounter' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/LoopCounter.h' + }, + 'SpinLock' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/SpinLock.h', + 'isInterface' => 0 + }, + 'GenericsTest' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/sandbox/GenericsTest.h' + }, + 'AtomicTImpl' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/AtomicTImpl.h' + }, + 'enumData' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/enumData.h', + 'isInterface' => 0 + }, + 'Integer' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Integer.h' + }, + 'llrbContextWithVerifier' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/verifier/llrbContextWithVerifier.h', + 'isInterface' => 0 + }, + '_orig_context' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/tmp_tool/_orig_context.h' + }, + 'CUDABuffer' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/CUDABuffer.h', + 'isInterface' => 1 + }, + 'Iterator' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Iterator.h' + }, + 'CodeGear' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/CodeGear.h', + 'isInterface' => 1 + }, + 'SemaphoreImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/SemaphoreImpl.h', + 'isInterface' => 0 + }, + 'Executor' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Executor.h', + 'isInterface' => 1 + }, + 'TaskIterator' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/ModelChecking/TaskIterator.h' + }, + 'string' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/piposaru/string.h', + 'isInterface' => 0 + }, + 'state_db' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/ModelChecking/state_db.h', + 'isInterface' => 0 + }, + 'wcTarget' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/wc/wcTarget.h' + }, + 'WcResult' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/wc/WcResult.h', + 'isInterface' => 1 + }, + 'SynchronizedQueue' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/SynchronizedQueue.h', + 'isInterface' => 0 + }, + 'Lock' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Lock.h', + 'isInterface' => 1 + }, + 'String' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/String.h', + 'isInterface' => 1 + }, + 'invalid_interface' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/perlTests/invalid_interface.h' + }, + 'StackTest' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/StackTest.h' + }, + 'AtomicT_int' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/AtomicT_int.h' + }, + 'MCTaskManagerImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/MCTaskManagerImpl.h', + 'isInterface' => 0 + }, + 'crc32' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/ModelChecking/crc32.h' + }, + 'Main' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Main.h', + 'isInterface' => 1 + }, + 'TimerImpl' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/TimerImpl.h', + 'isInterface' => 0 + }, + 'Memory' => { + 'isInterface' => 1, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/interface/Memory.h' + }, + 'enumCode' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/c/enumCode.h', + 'isInterface' => 0 + }, + 'AtomicReference' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/AtomicReference.h', + 'isInterface' => 0 + }, + 'StackTestImpl3' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/pop_and_push/StackTestImpl3.h', + 'isInterface' => 0 + }, + 'CUDAWorker' => { + 'isInterface' => 0, + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/plautogen/impl/CUDAWorker.h' + }, + 'Phils' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/examples/DPPMC/Phils.h', + 'isInterface' => 1 + }, + 'Atomic' => { + 'path' => '/Users/ichikitakahiro/src/firefly/hg/Gears/Gears/src/parallel_execution/Atomic.h', + 'isInterface' => 1 + } + }; + + DB<10> exit +Debugged program terminated. Use q to quit or R to restart, +use o inhibit_exit to avoid stopping after program termination, +h q, h R or h o to get additional info. + DB<11> +