Files
salvium/tests/fuzz/cold-outputs.cpp