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