Rename error trace to the more user friendly Counterexample

tlaplus · Dec 12, 2024 · a6b3271 · a6b3271
1 parent a3169ad
commit a6b3271
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/webview/checkResultView/errorTraceSection/errorTrace.tsx b/src/webview/checkResultView/errorTraceSection/errorTrace.tsx
@@ -16,7 +16,7 @@ export const ErrorTrace = React.memo(({errorInfo, traceId}: ErrorTraceI) => {
 
     return (
         <>
-            <VSCodePanelTab id={`error-trace-tab-${traceId}`}> Error Trace {traceId} </VSCodePanelTab>
+            <VSCodePanelTab id={`error-trace-tab-${traceId}`}> Counterexample {traceId} </VSCodePanelTab>
             <VSCodePanelView id={`error-trace-view-${traceId}`} className="flex-direction-column">
                 <div className="error-trace-options">
                     <VSCodeTextField onChange={(e) => setFilter(e.currentTarget.value)} placeholder="Filter">