From 3148ded71039ed93d02efab05cf652ca3c6b2977 Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Tue, 28 Nov 2023 19:23:41 +0000
Subject: [PATCH 1/2] Fix kissat tests not running

---
 solvers/kissat/src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/solvers/kissat/src/lib.rs b/solvers/kissat/src/lib.rs
index e470d2def..e745fa7fc 100644
--- a/solvers/kissat/src/lib.rs
+++ b/solvers/kissat/src/lib.rs
@@ -1,4 +1,6 @@
 #[cfg(test)]
+
+#[test]
 fn test1() {
     use kissat_rs::Assignment;
     use kissat_rs::Solver;

From 45c10feb68733e13ab814b74fbca24ce80be473f Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Tue, 28 Nov 2023 19:29:33 +0000
Subject: [PATCH 2/2] Apply formatting :/

---
 solvers/kissat/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/solvers/kissat/src/lib.rs b/solvers/kissat/src/lib.rs
index e745fa7fc..e7de73bf4 100644
--- a/solvers/kissat/src/lib.rs
+++ b/solvers/kissat/src/lib.rs
@@ -1,5 +1,4 @@
 #[cfg(test)]
-
 #[test]
 fn test1() {
     use kissat_rs::Assignment;