Mercurial > hg > Members > ikki > CbC_log
view log3_17_DebugGeneratestub.txt @ 4:d6911fe00127
add new log
author | ichikitakahiro <e165713@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 17 Mar 2021 14:12:41 +0900 |
parents | |
children |
line wrap: on
line source
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>