plct-lab/cross-checker/tests/smoke-tests.cpp