From 223f67a34b495b9ee11b563ed40b8e8b73dd03f4 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Mon, 20 Nov 2023 17:55:35 +0000 Subject: [PATCH] Adds abort function --- src/cmd_sym.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/cmd_sym.ml b/src/cmd_sym.ml index 9959c2cfd..a7f671e57 100644 --- a/src/cmd_sym.ml +++ b/src/cmd_sym.ml @@ -105,6 +105,7 @@ let symbolic_extern_module : Symbolic.P.extern_func Link.extern_module = { functions } let summaries_extern_module : Symbolic.P.extern_func Link.extern_module = + let abort () : unit Choice.t = Choice.add_pc @@ Value.Bool.const false in let alloc (base : Value.int32) (_size : Value.int32) : Value.int32 Choice.t = Choice.return base in @@ -120,6 +121,7 @@ let summaries_extern_module : Symbolic.P.extern_func Link.extern_module = ; ( "dealloc" , Symbolic.P.Extern_func.Extern_func (Func (Arg (I32, Res), R0), dealloc) ) + ; ("abort", Symbolic.P.Extern_func.Extern_func (Func (UArg Res, R0), abort)) ; ( "is_symbolic" , Symbolic.P.Extern_func.Extern_func (Func (Arg (I32, Arg (I32, Res)), R1 I32), is_symbolic) )