Fix formatting with clang-format

S2E · Jul 7, 2020 · c5cd234 · c5cd234
1 parent e9fbeb9
commit c5cd234
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/libs2eplugins/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.cpp b/libs2eplugins/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.cpp
@@ -170,7 +170,8 @@ void TestCaseGenerator::onSegFault(S2EExecutionState *state, uint64_t pid, uint6
     generateTestCases(state, ss.str(), TC_FILE);
 }
 
-void TestCaseGenerator::onStateFork(S2EExecutionState *state, const std::vector<S2EExecutionState*>& newStates, const std::vector<klee::ref<klee::Expr>>& newConditions) {
+void TestCaseGenerator::onStateFork(S2EExecutionState *state, const std::vector<S2EExecutionState *> &newStates,
+                                    const std::vector<klee::ref<klee::Expr>> &newConditions) {
     for (auto *state : newStates) {
         generateTestCases(state, "fork", TC_FILE);
     }

diff --git a/libs2eplugins/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.h b/libs2eplugins/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.h
@@ -253,7 +253,8 @@ class TestCaseGenerator : public Plugin, public IPluginInvoker {
 
     ExecutionTracer *m_tracer;
 
-    void onStateFork(S2EExecutionState *state, const std::vector<S2EExecutionState*>& newStates, const std::vector<klee::ref<klee::Expr>>& newConditions);
+    void onStateFork(S2EExecutionState *state, const std::vector<S2EExecutionState *> &newStates,
+                     const std::vector<klee::ref<klee::Expr>> &newConditions);
     void onStateKill(S2EExecutionState *state);
     void onSegFault(S2EExecutionState *state, uint64_t pid, uint64_t pc);
     void onWindowsUserCrash(S2EExecutionState *state, const WindowsUserModeCrash &desc);