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