From a6b6ea5ed00dde11ea5ef2a41963733505f7c515 Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@galois.com>
Date: Tue, 28 Mar 2023 16:53:07 -0700
Subject: [PATCH] extra test cases

---
 2022/13.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/2022/13.cpp b/2022/13.cpp
index 0ddfd0d..e3a8c4b 100644
--- a/2022/13.cpp
+++ b/2022/13.cpp
@@ -5,9 +5,9 @@
 #include <variant>
 #include <vector>
 
-#include <boost/spirit/include/qi.hpp>
 #include <boost/phoenix.hpp>
 #include <boost/range/adaptor/indexed.hpp>
+#include <boost/spirit/include/qi.hpp>
 
 #include <doctest.h>
 
@@ -130,6 +130,10 @@ TEST_SUITE("2022-13 examples") {
     CHECK(!(Tree{Trees{Tree{2}}} < Tree{1}));
     CHECK(Tree{Trees{}} < Tree{Trees{Tree{2}}});
     CHECK(Tree{Trees{}} < Tree{Trees{Tree{2}}});
+    CHECK(Tree{1} < Tree{Trees{Tree{2},Tree{3}}});
+    CHECK(!(Tree{Trees{Tree{2},Tree{3}}} < Tree{1}));
+    CHECK(Tree{2} < Tree{Trees{Tree{2},Tree{3}}});
+    CHECK(!(Tree{Trees{Tree{2},Tree{3}}} < Tree{2}));
   }
   TEST_CASE("documented example") {
     std::istringstream in {