@@ -100,6 +100,7 @@ int main(int argc, char* argv[])
cout << "[ORC] This experiment is running with output code: " << output << endl;
cout << "[ORC] This experiment is running with " << (maliciousServers ? "MALICIOUS" : "HBC") << " servers." << endl;
+ cout << "[ORC] Lambda is " << lambda << "." << endl;
cout << endl;
cout << "[ORC] Starting BGN dealer server." << endl;