Better specs

Summary: As title, +2 clauses covered Differential Revision: D56760562 fbshipit-source-id: 332b0200d7094bf197c9770018d0c17761100e52
WhatsApp · Apr 30, 2024 · 37487d3 · 37487d3
1 parent 4a583b2
commit 37487d3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/finer_taint/src/abstract_machine_proclet.erl b/finer_taint/src/abstract_machine_proclet.erl
@@ -119,7 +119,10 @@ handle_call(Msg, _From, State) ->
     {reply, ok, State}.
 
 -spec handle_cast(
-    {execute_instruction, Instruction :: taint_abstract_machine:instruction()}, state()
+    {run_instructions_file, FileName :: string()}
+    | {stop}
+    | {execute_instruction, Instruction :: taint_abstract_machine:instruction()},
+    state()
 ) ->
     {noreply, state()}
     | {stop, {shutdown, term()}, state()}.