charm-6.0/tests/charm++/penciltest
