Using map instead of unordered_map to ensure reproducibility of kore …

…definition generation
runtimeverification · May 15, 2024 · 349ca59 · 349ca59
1 parent 5b5affe
commit 349ca59
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/kllvm/ast/attribute_set.h b/include/kllvm/ast/attribute_set.h
@@ -4,7 +4,7 @@
 #include <memory>
 #include <optional>
 #include <string>
-#include <unordered_map>
+#include <map>
 
 namespace kllvm {
 
@@ -29,7 +29,7 @@ class kore_composite_pattern;
  */
 class attribute_set {
 public:
-  using storage_t = std::unordered_map<
+  using storage_t = std::map<
       std::string, std::shared_ptr<kore_composite_pattern>>;
 
   enum class key {