From ac7e300a6be1c8ce347f62a35aef7a2dd0ed7df8 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 2 Apr 2015 17:06:17 +0100 Subject: Fixed some doxygen issues. --- include/klee/ExecutionState.h | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 73095afc..067a80a2 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -73,15 +73,15 @@ private: std::map fnAliases; public: - /// Execution - Control Flow specific - - /// @brief pointer to instruction to be executed next after the - /// current instruction (prevPc) - KInstIterator pc; + // Execution - Control Flow specific /// @brief Pointer to instruction which is currently executed KInstIterator prevPC; + /// @brief Pointer to instruction to be executed after the current + /// instruction + KInstIterator pc; + /// @brief Stack representing the current instruction stream stack_ty stack; @@ -89,7 +89,7 @@ public: /// (i.e. to select the right phi values) unsigned incomingBBIndex; - /// Overall state of the state - Data specific + // Overall state of the state - Data specific /// @brief Address space used by this state (e.g. Global and Heap) AddressSpace addressSpace; -- cgit 1.4.1