From bf567c3e114fc7d02026824a209a627b0130bba3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Koren=C4=8Dik?= <xkorenc1@fi.muni.cz>
Date: Thu, 30 Jan 2020 13:38:40 +0000
Subject: [PATCH] MC: Split typedef in BCOptions to more smaller ones.
---
divine/mc/bitcode.hpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/divine/mc/bitcode.hpp b/divine/mc/bitcode.hpp
index 006fdb113..99bf8c3d2 100644
--- a/divine/mc/bitcode.hpp
+++ b/divine/mc/bitcode.hpp
@@ -60,7 +60,9 @@ struct BCParseError : brq::error { using brq::error::error; };
struct BCOptions
{
- using Env = std::vector< std::tuple< std::string, std::vector< uint8_t > > >;
+ using bstr = std::vector<uint8_t>;
+ using env_option = std::tuple< std::string, bstr >;
+ using Env = std::vector< env_option >;
brq::cmd_file input_file;
std::vector< std::string > ccopts;
--
GitLab