Make the Windows Compiler happy

sillydan1 · Mar 1, 2022 · 37f28ea · 37f28ea
1 parent 1f45b4c
commit 37f28ea
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -79,7 +79,7 @@ jobs:
         working-directory: ${{github.workspace}}/build
         shell: bash
         # Execute the build.  You can specify a specific target with "--target <NAME>"
-        run: cmake --build . --config $BUILD_TYPE -j$(nproc)
+        run: cmake --build . --config $BUILD_TYPE -j 8
   verification-tests:
     runs-on: ubuntu-latest
     needs: build-linux

diff --git a/src/model_parsers/TTAParser.cpp b/src/model_parsers/TTAParser.cpp
@@ -258,7 +258,7 @@ TTA::SymbolMap TTAParser::ConvertSymbolListToSymbolMap(const std::vector<TTAIR_t
     std::for_each(symbolList.begin(), symbolList.end(), [&map] (auto& symbol) {
         std::visit(overload(
                 [&](const int& value)            { map[symbol.identifier] = static_cast<int>(value); },
-                [&](const long& value)           { map[symbol.identifier] = static_cast<long>(value); },
+                [&](const long& value)           { map[symbol.identifier] = static_cast<int64_t>(value); },
                 [&](const float& value)          { map[symbol.identifier] = static_cast<float>(value); },
                 [&](const bool& value)           { map[symbol.identifier] = static_cast<bool>(value); },
                 [&](const TTATimerSymbol& value) { map[symbol.identifier] = packToken(value.current_value, PACK_IS_TIMER); },

diff --git a/src/verifier/TTASuccessorGenerator.cpp b/src/verifier/TTASuccessorGenerator.cpp
@@ -106,7 +106,7 @@ using VariableValueVector = std::vector<std::pair<std::string, TTASymbol_t>>;
 void AssignVariable(TTA::SymbolMap& outputMap, const TTA::SymbolMap& currentValues, const std::string &varname, const TTASymbol_t &newValue) {
     std::visit(overload(
             [&](const int& v)            { outputMap.map()[varname] = v; },
-            [&](const long& v)           { outputMap.map()[varname] = v; },
+            [&](const long& v)           { outputMap.map()[varname] = static_cast<int64_t>(v); },
             [&](const float& v)          { outputMap.map()[varname] = v; },
             [&](const bool& v)           { outputMap.map()[varname] = v; },
             [&](const TTATimerSymbol& v) {