From dfd4dd44dd589b92ce864dd22b01ab043e2a9cbc Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Tue, 8 Jun 2021 12:22:21 -0700
Subject: [PATCH] [biabduction] move SymOp module and remove dead variant

Summary: `SymOp` now can move to biabduction folder. Kill `FKrecursion_timeout` unused variant.

Reviewed By: jvillard

Differential Revision: D28930213

fbshipit-source-id: e9bb1d1e9
---
 infer/src/base/Exception.ml               | 3 ---
 infer/src/base/Exception.mli              | 1 -
 infer/src/{base => biabduction}/SymOp.ml  | 0
 infer/src/{base => biabduction}/SymOp.mli | 0
 4 files changed, 4 deletions(-)
 rename infer/src/{base => biabduction}/SymOp.ml (100%)
 rename infer/src/{base => biabduction}/SymOp.mli (100%)

diff --git a/infer/src/base/Exception.ml b/infer/src/base/Exception.ml
index eca1d3875..1e7e639c0 100644
--- a/infer/src/base/Exception.ml
+++ b/infer/src/base/Exception.ml
@@ -11,7 +11,6 @@ module F = Format
 type failure_kind =
   | FKtimeout  (** max time exceeded *)
   | FKsymops_timeout of int  (** max symop's exceeded *)
-  | FKrecursion_timeout of int  (** max recursion level exceeded *)
   | FKcrash of string  (** uncaught exception or failed assertion *)
 
 (** failure that prevented biabduction analysis from finishing *)
@@ -51,7 +50,5 @@ let pp_failure_kind fmt = function
       F.pp_print_string fmt "TIMEOUT"
   | FKsymops_timeout symops ->
       F.fprintf fmt "SYMOPS TIMEOUT (%d)" symops
-  | FKrecursion_timeout level ->
-      F.fprintf fmt "RECURSION TIMEOUT (%d)" level
   | FKcrash msg ->
       F.fprintf fmt "CRASH (%s)" msg
diff --git a/infer/src/base/Exception.mli b/infer/src/base/Exception.mli
index 8792358fd..119f7f858 100644
--- a/infer/src/base/Exception.mli
+++ b/infer/src/base/Exception.mli
@@ -14,7 +14,6 @@ open! IStd
 type failure_kind =
   | FKtimeout  (** max time exceeded *)
   | FKsymops_timeout of int  (** max symop's exceeded *)
-  | FKrecursion_timeout of int  (** max recursion level exceeded *)
   | FKcrash of string  (** uncaught exception or failed assertion *)
 
 val pp_failure_kind : Format.formatter -> failure_kind -> unit
diff --git a/infer/src/base/SymOp.ml b/infer/src/biabduction/SymOp.ml
similarity index 100%
rename from infer/src/base/SymOp.ml
rename to infer/src/biabduction/SymOp.ml
diff --git a/infer/src/base/SymOp.mli b/infer/src/biabduction/SymOp.mli
similarity index 100%
rename from infer/src/base/SymOp.mli
rename to infer/src/biabduction/SymOp.mli