From 03fb6e6ae823d3589eed5276c24997f591785bdb Mon Sep 17 00:00:00 2001
From: "Ge(James) Jin" <jamesjin0516@gmail.com>
Date: Sat, 3 Aug 2024 00:27:24 -0400
Subject: [PATCH] fmbt: account for aal-provided tag numbers starting at 0

---
 src/awrapper.cc    | 4 ++--
 src/test_engine.cc | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/awrapper.cc b/src/awrapper.cc
index 79f8f096..0f539d62 100644
--- a/src/awrapper.cc
+++ b/src/awrapper.cc
@@ -72,8 +72,8 @@ void Awrapper::set_tags(std::vector<std::string>* _tags)
       continue;
     }
     
-    tagaal2ada[i]=result;
-    tagada2aal[result]=i;
+    tagaal2ada[i - 1] = result;
+    tagada2aal[result] = i - 1;
 
   }
 }
diff --git a/src/test_engine.cc b/src/test_engine.cc
index 4e19d8da..0656d465 100644
--- a/src/test_engine.cc
+++ b/src/test_engine.cc
@@ -173,7 +173,7 @@ void Test_engine::verify_tags(const std::vector<std::string>& tnames)
     return;
   }
 
-  std::string s=to_string(cnt,tags,tnames);
+  std::string s = to_string(cnt, tags, std::vector<std::string>(++ tnames.begin(), tnames.end()));
   log.print("<tags enabled=\"%s\"/>\n",s.c_str());
 
   std::vector<int> t;