diff --git a/components/Tracer/index.tsx b/components/Tracer/index.tsx
index f87915f..3403dd2 100644
--- a/components/Tracer/index.tsx
+++ b/components/Tracer/index.tsx
@@ -153,7 +153,7 @@ export const Tracer = () => {
       </div>
 
       {debugMode === ProgramDebugMode.Execution ? (
-        trace === undefined ? (
+        compilationState !== ProgramCompilationState.CompilationSuccess ? (
           <div className="flex justify-center items-center text-gray-600 dark:text-darkMode-text">
             {compilationState === ProgramCompilationState.Idle
               ? 'Run the app to get debug info'
@@ -187,7 +187,7 @@ export const Tracer = () => {
           )
         )
       ) : debugMode === ProgramDebugMode.Sierra ? (
-        trace === undefined ? (
+        compilationState !== ProgramCompilationState.CompilationSuccess ? (
           <div className="flex justify-center items-center text-gray-600 dark:text-darkMode-text">
             {compilationState === ProgramCompilationState.Idle
               ? 'Run the app to get debug info'
@@ -212,6 +212,7 @@ export const Tracer = () => {
       {debugMode !== ProgramDebugMode.Proof ? (
         <div className="border-gray-200 border-t dark:bg-darkMode-secondary dark:border-black-500 flex-none pane pane-light overflow-auto h-[22vh]">
           <DebugInfoTab
+            compilationState={compilationState}
             debugMode={debugMode}
             trace={trace}
             currentTraceEntry={currentTraceEntry}
@@ -234,6 +235,7 @@ function DebugInfoTab({
   executionTraceStepNumber,
   handleRegisterPointerClick,
   debugMode,
+  compilationState,
 }: {
   trace: TraceEntry[] | undefined
   currentTraceEntry: TraceEntry | undefined
@@ -241,158 +243,165 @@ function DebugInfoTab({
   executionTraceStepNumber: number
   handleRegisterPointerClick: (num: number) => void
   debugMode: ProgramDebugMode
+  compilationState: ProgramCompilationState
 }) {
   return (
     <div className="p-4">
-      {trace && (
-        <dl className="text-2xs">
-          {debugMode === ProgramDebugMode.Execution && (
-            <div className="flex flex-col lg:flex-row justify-between">
-              <div>
-                <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
-                  Registers
-                </dt>
-                <dd className="mb-2 flex gap-1">
-                  <button
-                    onClick={() => {
-                      handleRegisterPointerClick(
-                        currentTraceEntry?.pc as number,
-                      )
-                    }}
-                    className=" inline-block border px-2 py-1 mb-1 cursor-pointer rounded-sm break-all text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-fuchsia-700 hover:!border-fuchsia-700"
-                  >
-                    PC: {currentTraceEntry?.pc}
-                  </button>
-                  <button
-                    onClick={() => {
-                      handleRegisterPointerClick(
-                        currentTraceEntry?.fp as number,
-                      )
-                    }}
-                    className=" inline-block border px-2 py-1 mb-1 rounded-sm break-all cursor-pointer text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-green-700 hover:!border-green-700"
-                  >
-                    FP: {currentTraceEntry?.fp}
-                  </button>
-                  <button
-                    onClick={() => {
-                      handleRegisterPointerClick(
-                        currentTraceEntry?.ap as number,
-                      )
-                    }}
-                    className="inline-block border px-2 py-1 mb-1 rounded-sm break-all cursor-pointer text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-orange-700 hover:!border-orange-700"
-                  >
-                    AP: {currentTraceEntry?.ap}
-                  </button>
-                </dd>
+      {trace &&
+        compilationState === ProgramCompilationState.CompilationSuccess && (
+          <dl className="text-2xs">
+            {debugMode === ProgramDebugMode.Execution && (
+              <div className="flex flex-col lg:flex-row justify-between">
+                <div>
+                  <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
+                    Registers
+                  </dt>
+                  <dd className="mb-2 flex gap-1">
+                    <button
+                      onClick={() => {
+                        handleRegisterPointerClick(
+                          currentTraceEntry?.pc as number,
+                        )
+                      }}
+                      className=" inline-block border px-2 py-1 mb-1 cursor-pointer rounded-sm break-all text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-fuchsia-700 hover:!border-fuchsia-700"
+                    >
+                      PC: {currentTraceEntry?.pc}
+                    </button>
+                    <button
+                      onClick={() => {
+                        handleRegisterPointerClick(
+                          currentTraceEntry?.fp as number,
+                        )
+                      }}
+                      className=" inline-block border px-2 py-1 mb-1 rounded-sm break-all cursor-pointer text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-green-700 hover:!border-green-700"
+                    >
+                      FP: {currentTraceEntry?.fp}
+                    </button>
+                    <button
+                      onClick={() => {
+                        handleRegisterPointerClick(
+                          currentTraceEntry?.ap as number,
+                        )
+                      }}
+                      className="inline-block border px-2 py-1 mb-1 rounded-sm break-all cursor-pointer text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD] hover:!text-orange-700 hover:!border-orange-700"
+                    >
+                      AP: {currentTraceEntry?.ap}
+                    </button>
+                  </dd>
+                </div>
+                <div>
+                  <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
+                    Execution steps
+                  </dt>
+                  <dd className="mb-2">
+                    <div className="inline-block border px-2 py-1 mb-1 rounded-sm break-all text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD]">
+                      Current: {executionTraceStepNumber + 1}, Total:{' '}
+                      {trace?.length}
+                    </div>
+                  </dd>
+                </div>
               </div>
-              <div>
-                <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
-                  Execution steps
-                </dt>
-                <dd className="mb-2">
-                  <div className="inline-block border px-2 py-1 mb-1 rounded-sm break-all text-tiny border-gray-300 dark:border-[#46373A] text-gray-500 dark:text-[#BDBDBD]">
-                    Current: {executionTraceStepNumber + 1}, Total:{' '}
-                    {trace?.length}
-                  </div>
-                </dd>
-              </div>
-            </div>
-          )}
-          <div>
-            <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
-              Callstack
-            </dt>
-            <dd className="font-mono mb-2">
-              <table className="w-full font-mono text-tiny border border-gray-300 dark:border-[#46373A]">
-                <thead>
-                  <tr className="text-left sticky z-[1] top-0 bg-gray-50 dark:bg-darkMode-secondary text-gray-400 dark:text-gray-600 border-b border-gray-300 dark:border-[#46373A]">
-                    {debugMode === ProgramDebugMode.Execution && (
-                      <>
-                        <th className="py-1 px-2 font-thin min-w-16">FP</th>
-                        <th className="py-1 px-2 font-thin  whitespace-nowrap w-16">
-                          CALL PC
-                        </th>
-                        <th className="py-1 px-2 font-thin whitespace-nowrap w-16">
-                          RET PC
-                        </th>
-                      </>
-                    )}
-                    <th className="py-1 px-2 font-thin text-left min-w-64">
-                      FN NAME
-                    </th>
-                    <th className="py-1 px-2 font-thin text-left min-w-full">
-                      PARAMETERS
-                    </th>
-                  </tr>
-                </thead>
-                <tbody>
-                  {currentCallstackEntry?.map((callstackEntry, index) => {
-                    if (
-                      callstackEntry.fn_name ||
-                      debugMode === ProgramDebugMode.Execution
-                    ) {
-                      return (
-                        <tr
-                          key={index}
-                          className="relative border-b border-gray-300 dark:border-[#46373A] text-gray-400 dark:text-gray-600"
-                        >
-                          {debugMode === ProgramDebugMode.Execution && (
-                            <>
-                              <td className="py-1 px-2 min-w-16">
-                                {callstackEntry.fp}
-                              </td>
-                              <td className="py-1 px-2 w-16">
-                                {callstackEntry.call_pc}
-                              </td>
-                              <td className="py-1 px-2 w-16">
-                                {callstackEntry.ret_pc}
-                              </td>
-                            </>
-                          )}
-                          <td className="py-1 px-2 text-left w-64 break-all">
-                            {callstackEntry.fn_name}
-                          </td>
-                          <td className="py-1 px-2 text-left w-full">
-                            {callstackEntry?.params?.map(
-                              (
-                                param: { type_name: string; value: number[] },
-                                index,
-                                array,
-                              ) => (
-                                <div key={index} className="inline-block">
-                                  <div
-                                    data-tip={param.type_name}
-                                    data-for={param.type_name}
-                                    className="inline-block cursor-pointer hover:text-black-700 transition-colors ease-out delay-0 break-normal"
-                                  >
-                                    {param.value.length > 1
-                                      ? `[${param.value.join(', ')}]`
-                                      : param.value[0]}
-
-                                    <ReactTooltip
-                                      className="tooltip"
-                                      id={param.type_name}
-                                      effect="solid"
-                                      uuid="buttonTooltip"
-                                    />
-                                  </div>
-                                  <span>
-                                    {index < array.length - 1 ? ',\u00A0' : ''}
-                                  </span>
-                                </div>
-                              ),
+            )}
+            <div>
+              <dt className="mb-1 text-gray-500 dark:text-[#BDBDBD] font-medium uppercase text-[13px] leading-6">
+                Callstack
+              </dt>
+              <dd className="font-mono mb-2">
+                <table className="w-full font-mono text-tiny border border-gray-300 dark:border-[#46373A]">
+                  <thead>
+                    <tr className="text-left sticky z-[1] top-0 bg-gray-50 dark:bg-darkMode-secondary text-gray-400 dark:text-gray-600 border-b border-gray-300 dark:border-[#46373A]">
+                      {debugMode === ProgramDebugMode.Execution && (
+                        <>
+                          <th className="py-1 px-2 font-thin min-w-16">FP</th>
+                          <th className="py-1 px-2 font-thin  whitespace-nowrap w-16">
+                            CALL PC
+                          </th>
+                          <th className="py-1 px-2 font-thin whitespace-nowrap w-16">
+                            RET PC
+                          </th>
+                        </>
+                      )}
+                      <th className="py-1 px-2 font-thin text-left min-w-64">
+                        FN NAME
+                      </th>
+                      <th className="py-1 px-2 font-thin text-left min-w-full">
+                        PARAMETERS
+                      </th>
+                    </tr>
+                  </thead>
+                  <tbody>
+                    {currentCallstackEntry?.map((callstackEntry, index) => {
+                      if (
+                        callstackEntry.fn_name ||
+                        debugMode === ProgramDebugMode.Execution
+                      ) {
+                        return (
+                          <tr
+                            key={index}
+                            className="relative border-b border-gray-300 dark:border-[#46373A] text-gray-400 dark:text-gray-600"
+                          >
+                            {debugMode === ProgramDebugMode.Execution && (
+                              <>
+                                <td className="py-1 px-2 min-w-16">
+                                  {callstackEntry.fp}
+                                </td>
+                                <td className="py-1 px-2 w-16">
+                                  {callstackEntry.call_pc}
+                                </td>
+                                <td className="py-1 px-2 w-16">
+                                  {callstackEntry.ret_pc}
+                                </td>
+                              </>
                             )}
-                          </td>
-                        </tr>
-                      )
-                    }
-                  })}
-                </tbody>
-              </table>
-            </dd>
-          </div>
-        </dl>
-      )}
+                            <td className="py-1 px-2 text-left w-64 break-all">
+                              {callstackEntry.fn_name}
+                            </td>
+                            <td className="py-1 px-2 text-left w-full">
+                              {callstackEntry?.params?.map(
+                                (
+                                  param: {
+                                    type_name: string
+                                    value: number[]
+                                  },
+                                  index,
+                                  array,
+                                ) => (
+                                  <div key={index} className="inline-block">
+                                    <div
+                                      data-tip={param.type_name}
+                                      data-for={param.type_name}
+                                      className="inline-block cursor-pointer hover:text-black-700 transition-colors ease-out delay-0 break-normal"
+                                    >
+                                      {param.value.length > 1
+                                        ? `[${param.value.join(', ')}]`
+                                        : param.value[0]}
+
+                                      <ReactTooltip
+                                        className="tooltip"
+                                        id={param.type_name}
+                                        effect="solid"
+                                        uuid="buttonTooltip"
+                                      />
+                                    </div>
+                                    <span>
+                                      {index < array.length - 1
+                                        ? ',\u00A0'
+                                        : ''}
+                                    </span>
+                                  </div>
+                                ),
+                              )}
+                            </td>
+                          </tr>
+                        )
+                      }
+                    })}
+                  </tbody>
+                </table>
+              </dd>
+            </div>
+          </dl>
+        )}
     </div>
   )
 }
diff --git a/components/ui/MultiButton.tsx b/components/ui/MultiButton.tsx
index 8ac68a8..7859d06 100644
--- a/components/ui/MultiButton.tsx
+++ b/components/ui/MultiButton.tsx
@@ -4,7 +4,7 @@ import { Menu, MenuButton, MenuItem, MenuItems } from '@headlessui/react'
 import { ChevronDownIcon } from '@heroicons/react/20/solid'
 import { ReadyState } from 'react-use-websocket'
 
-import { AppUiContext } from 'context/appUiContext'
+import { AppUiContext, LogType } from 'context/appUiContext'
 import {
   CairoVMApiContext,
   ProgramCompilationState,
@@ -21,7 +21,7 @@ interface MultiButtonProps {
 
 const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
   const [selected, setSelected] = useState<CompileMods>('run')
-  const { addToConsoleLog } = useContext(AppUiContext)
+  const { addToConsoleLog, consoleLog } = useContext(AppUiContext)
   const {
     compilationState,
     readyState,
@@ -29,12 +29,43 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
     proof,
     executionState,
     proofRequired,
+    provingIsNotSupported,
   } = useContext(CairoVMApiContext)
+
   useEffect(() => {
+    let timeoutId: NodeJS.Timeout
+
     if (readyState === ReadyState.OPEN) {
-      addToConsoleLog('App initialised')
+      const hasInitMessage = consoleLog.some(
+        (item) => item.message === 'App initialised',
+      )
+      const lastMessageIsError =
+        consoleLog[consoleLog.length - 1]?.message ===
+        'Error: Connection closed'
+
+      if (!hasInitMessage) {
+        addToConsoleLog('App initialised')
+      } else if (lastMessageIsError) {
+        addToConsoleLog('App reconnected')
+      }
+    } else if (readyState === ReadyState.CLOSED) {
+      timeoutId = setTimeout(() => {
+        const lastMessage = consoleLog[consoleLog.length - 1]?.message
+        if (
+          readyState === ReadyState.CLOSED &&
+          lastMessage !== 'Error: Connection closed'
+        ) {
+          addToConsoleLog('Error: Connection closed', LogType.Error)
+        }
+      }, 10000)
+    }
+
+    return () => {
+      if (timeoutId) {
+        clearTimeout(timeoutId)
+      }
     }
-  }, [readyState])
+  }, [readyState, consoleLog, addToConsoleLog])
 
   const handleMainButtonClick = () => {
     switch (selected) {
@@ -57,7 +88,8 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
         disabled={
           readyState !== ReadyState.OPEN ||
           compilationState === ProgramCompilationState.Compiling ||
-          (proofRequired &&
+          (!provingIsNotSupported &&
+            proofRequired &&
             !proof &&
             (executionState === ProgramExecutionState.Executing ||
               executionState === ProgramExecutionState.Success))
@@ -74,7 +106,8 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
           disabled={
             readyState !== ReadyState.OPEN ||
             compilationState === ProgramCompilationState.Compiling ||
-            (proofRequired &&
+            (!provingIsNotSupported &&
+              proofRequired &&
               !proof &&
               (executionState === ProgramExecutionState.Executing ||
                 executionState === ProgramExecutionState.Success))
diff --git a/context/cairoVMApiContext.tsx b/context/cairoVMApiContext.tsx
index 92eadf6..3587444 100644
--- a/context/cairoVMApiContext.tsx
+++ b/context/cairoVMApiContext.tsx
@@ -337,6 +337,7 @@ export const CairoVMApiProvider: React.FC<PropsWithChildren> = ({
     {
       share: false,
       shouldReconnect: () => true,
+      onError: (event) => console.error('WebSocket error:', event),
     },
   )
 
@@ -451,7 +452,6 @@ export const CairoVMApiProvider: React.FC<PropsWithChildren> = ({
     setExecutionState(ProgramExecutionState.Executing)
     setProofRequired(isProofRequired)
     setProof(undefined)
-
     sendJsonMessage({
       cairo_program_code: cairoCode,
       program_arguments: programArguments,