From 71ea28d5d8387a21faa74e35416dc85b425314bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@cs.au.dk>
Date: Fri, 24 Nov 2023 17:07:12 -0500
Subject: [PATCH] Hack: create slowdown for Adiar

---
 src/adiar/bdd/apply.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/adiar/bdd/apply.cpp b/src/adiar/bdd/apply.cpp
index f58f95c50..181d90ab7 100644
--- a/src/adiar/bdd/apply.cpp
+++ b/src/adiar/bdd/apply.cpp
@@ -1,6 +1,8 @@
 #include <adiar/bdd.h>
 #include <adiar/bdd/bdd_policy.h>
 
+#include<unistd.h>
+
 #include <adiar/internal/assert.h>
 #include <adiar/internal/cut.h>
 #include <adiar/internal/dd_func.h>
@@ -119,6 +121,7 @@ namespace adiar
 
   __bdd bdd_apply(const exec_policy &ep, const bdd &f, const bdd &g, const bool_op &op)
   {
+    usleep(42); // HACK: Force a slowdown
     return internal::prod2<apply_prod2_policy>(ep, f, g, op);
   }