From aed1bf936b69464f99a92133a43d51664295d780 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Mon, 16 Dec 2019 16:55:40 +0100 Subject: Opcode heuristic done for K1c --- backend/DuplicateOpcodeHeuristic.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'backend/DuplicateOpcodeHeuristic.mli') diff --git a/backend/DuplicateOpcodeHeuristic.mli b/backend/DuplicateOpcodeHeuristic.mli index a4cc4848..b4c9f1ef 100644 --- a/backend/DuplicateOpcodeHeuristic.mli +++ b/backend/DuplicateOpcodeHeuristic.mli @@ -3,6 +3,8 @@ * when selecting a trace. *) +exception HeuristicSucceeded + (* The bool reference should be updated to [true] if the condition is supposed * to hold, [false] if it is supposed to not hold * The function should raise HeuristicSucceeded if it succeeded to predict a branch, -- cgit