From 1a78c940f46273b7146d2111b1e2da309434f021 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Thu, 27 May 2021 16:55:18 +0200
Subject: [disabled checker] BTL Scheduling and Renumbering OK!

---
 scheduling/BTLtypes.ml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 scheduling/BTLtypes.ml

(limited to 'scheduling/BTLtypes.ml')

diff --git a/scheduling/BTLtypes.ml b/scheduling/BTLtypes.ml
new file mode 100644
index 00000000..3972fd6b
--- /dev/null
+++ b/scheduling/BTLtypes.ml
@@ -0,0 +1,7 @@
+type inst_info = {
+  mutable inumb : int;
+  mutable pcond : bool option;
+  mutable visited : bool;
+}
+
+type block_info = { mutable bnumb : int; mutable visited : bool }
-- 
cgit