From 1923447bba0ae6b12cb2f9703c09587027b8ded0 Mon Sep 17 00:00:00 2001
From: Noah Sprenger <noah.r.sprenger@gmail.com>
Date: Sat, 5 Oct 2024 17:20:49 -0400
Subject: [PATCH] fix

---
 Makefile.toml                | 7 +------
 proptest-regressions/lib.txt | 7 +++++++
 src/lib.rs                   | 1 -
 3 files changed, 8 insertions(+), 7 deletions(-)
 create mode 100644 proptest-regressions/lib.txt

diff --git a/Makefile.toml b/Makefile.toml
index ae30f26..535a2b4 100644
--- a/Makefile.toml
+++ b/Makefile.toml
@@ -1,8 +1,3 @@
-[env]
-CARGO_MAKE_EXTEND_WORKSPACE_MAKEFILE = true
-
-[config]
-default_to_workspace = false
 
 # -----------------------
 # Host Testing
@@ -10,5 +5,5 @@ default_to_workspace = false
 
 [tasks.test-messages]
 command = "cargo"
-args = ["test", "-p", "messages", "--target", "${CARGO_MAKE_RUST_TARGET_TRIPLE}", "--features", "std", "--no-default-features"]
+args = ["test", "--target", "${CARGO_MAKE_RUST_TARGET_TRIPLE}", "--features", "std", "--no-default-features"]
 env = {RUST_MIN_STACK = "8388608"}
diff --git a/proptest-regressions/lib.txt b/proptest-regressions/lib.txt
new file mode 100644
index 0000000..d6468cc
--- /dev/null
+++ b/proptest-regressions/lib.txt
@@ -0,0 +1,7 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 61b4824c090c01db4b55ba9e9fcc0fb7bbb6843574b2b802fbc377e8f839c62d # shrinks to msg = Message { timestamp: FormattedNaiveDateTime(-0001-01-01T00:00:00.000000001), node: PressureBoard, data: Sensor(Sensor { data: EkfNavAcc(EkfNavAcc { status: EkfStatus { status: 268435456 }, velocity_std_dev: Some([0.0, 0.0, 0.0]), position_std_dev: Some([-0.0, 0.0, 0.0]) }) }) }
diff --git a/src/lib.rs b/src/lib.rs
index c1d9fa4..f98e69c 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,5 +1,4 @@
 #![cfg_attr(all(not(feature = "std"), not(test)), no_std)]
-#![no_main]
 
 //! # Messages
 //!