From d35ba86c977f1759b47869f3d3bbfec8c3e909d2 Mon Sep 17 00:00:00 2001 From: tagomaru Date: Fri, 5 Mar 2021 12:22:03 -0800 Subject: [PATCH 1/2] fix issue of installing pkg on CI Signed-off-by: tagomaru --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 583eedba97..eba1944f9e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,7 +23,9 @@ jobs: sudo apt-get update sudo apt-get install -y \ ccache \ - cxxtest + cxxtest \ + protobuf-compiler \ + libprotoc-dev python3 -m pip install --user --upgrade pip python3 -m pip install --user --upgrade setuptools python3 -m pip install --user wheel From 9ee317281238be1bd65287a9677d3fd8e4688763 Mon Sep 17 00:00:00 2001 From: tagomaru Date: Fri, 5 Mar 2021 14:10:48 -0800 Subject: [PATCH 2/2] tab2spaces Signed-off-by: tagomaru --- src/engine/Preprocessor.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/engine/Preprocessor.cpp b/src/engine/Preprocessor.cpp index 9c354941b3..fb1e4f5257 100644 --- a/src/engine/Preprocessor.cpp +++ b/src/engine/Preprocessor.cpp @@ -567,8 +567,8 @@ void Preprocessor::collectFixedValues() // Collect any variables with identical lower and upper bounds, or // which are unused - for ( unsigned i = 0; i < _preprocessed.getNumberOfVariables(); ++i ) - { + for ( unsigned i = 0; i < _preprocessed.getNumberOfVariables(); ++i ) + { if ( FloatUtils::areEqual( _preprocessed.getLowerBound( i ), _preprocessed.getUpperBound( i ) ) ) { _fixedVariables[i] = _preprocessed.getLowerBound( i );