/src/systemc/tests/systemc/1666-2011-compliance/self_reset_bug/
../
golden
self_reset_bug.cpp