From b35e93098e133bf3b3c0d20480d2c113b36fcf96 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Thu, 18 Apr 2024 09:12:56 -0400
Subject: [PATCH] synth: move windowing

---
 synth/src/main.rs                    | 4 ++--
 synth/src/studies/mod.rs             | 1 +
 synth/src/{ => studies}/windowing.rs | 0
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 100644 synth/src/studies/mod.rs
 rename synth/src/{ => studies}/windowing.rs (100%)

diff --git a/synth/src/main.rs b/synth/src/main.rs
index aa8cf67..b464d96 100644
--- a/synth/src/main.rs
+++ b/synth/src/main.rs
@@ -5,8 +5,8 @@ mod basic;
 mod filters;
 mod incremental;
 mod repair;
+mod studies;
 mod testbench;
-mod windowing;
 
 use crate::basic::basic_repair;
 use crate::filters::can_be_repaired_from_arbitrary_state;
@@ -14,8 +14,8 @@ use crate::incremental::{IncrementalConf, IncrementalRepair};
 use crate::repair::{
     add_change_count, create_smt_ctx, RepairContext, RepairResult, RepairStatus, RepairVars,
 };
+use crate::studies::windowing::{Windowing, WindowingConf};
 use crate::testbench::*;
-use crate::windowing::{Windowing, WindowingConf};
 use clap::{arg, Parser, ValueEnum};
 use easy_smt as smt;
 use libpatron::ir::{
diff --git a/synth/src/studies/mod.rs b/synth/src/studies/mod.rs
new file mode 100644
index 0000000..797cb13
--- /dev/null
+++ b/synth/src/studies/mod.rs
@@ -0,0 +1 @@
+pub mod windowing;
diff --git a/synth/src/windowing.rs b/synth/src/studies/windowing.rs
similarity index 100%
rename from synth/src/windowing.rs
rename to synth/src/studies/windowing.rs