test ../TEST/poplmark/sources.cfg
test ../TEST/wiki-examples/linearlogic.cfg
test ../TEST/wiki-examples/lily.cfg