From a6227d5446d206a2d264f2305a08953288a4eae7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 19 Mar 2014 17:26:05 +0000 Subject: [PATCH] SLS refactoring Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_compilation_settings.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/tactic/sls/sls_compilation_settings.h b/src/tactic/sls/sls_compilation_settings.h index aea4787b0..8e52596e0 100644 --- a/src/tactic/sls/sls_compilation_settings.h +++ b/src/tactic/sls/sls_compilation_settings.h @@ -18,6 +18,10 @@ Notes: This file should go away completely once we have evaluated all options. --*/ + +#ifndef _SLS_COMPILATION_SETTINGS_H_ +#define _SLS_COMPILATION_SETTINGS_H_ + // which unsatisfied assertion is selected? only works with _FOCUS_ > 0 // 0 = random, 1 = #moves, 2 = assertion with min score, 3 = assertion with max score #define _BFS_ 0 @@ -155,4 +159,6 @@ InvalidConfiguration; #endif #if (_PERC_STICKY_ && !_FOCUS_) InvalidConfiguration; +#endif + #endif \ No newline at end of file