fix proxy system

DistCompiler · Jan 16, 2025 · fdfeea3 · fdfeea3
1 parent bc28d71
commit fdfeea3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/systems/proxy/proxy_test.go b/systems/proxy/proxy_test.go
@@ -279,7 +279,7 @@ func TestProxy_NoServerRunning(t *testing.T) {
 }
 
 func TestProxy_FirstServerCrashing(t *testing.T) {
-	traceRecorder := trace.MakeLocalFileRecorder("proxy_first_server_crashing.txt")
+	var traceRecorder trace.Recorder = nil // trace.MakeLocalFileRecorder("proxy_first_server_crashing.txt")
 	inChan := make(chan tla.Value, numRequests)
 	outChan := make(chan tla.Value, numRequests)
 	mon := setupMonitor()