summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2022-01-14 18:12:19 +0100
committerSon Ho2022-01-14 18:12:19 +0100
commit0d81c7f17a45d0815457cec79477bb54fa9f525d (patch)
tree1c933a5a529b331441df553164991a731e308f0b /src
parent38a877a0db9980d234cfe89a5528bef99620cab1 (diff)
Update the TODOs
Diffstat (limited to 'src')
-rw-r--r--src/InterpreterStatements.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index e6fadbdd..8768461c 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -891,8 +891,6 @@ and eval_function_call_symbolic_from_inst_sig (config : C.config)
in
(* Evaluate the input operands *)
let ctx, args = eval_operands config ctx args in
- (* TODO: expand the primitively copyable symbolic values *)
- raise Errors.Unimplemented;
let args_with_rtypes = List.combine args inst_sg.A.inputs in
(* Check the type of the input arguments *)
assert (