/dports/security/klee/klee-2.2/lib/Core/ |
H A D | Searcher.h | 35 class ExecutionState; variable 81 std::vector<ExecutionState*> states; 85 void update(ExecutionState *current, 97 std::deque<ExecutionState*> states; 101 void update(ExecutionState *current, 110 std::vector<ExecutionState*> states; 116 void update(ExecutionState *current, 143 double getWeight(ExecutionState*); 152 void update(ExecutionState *current, 188 void update(ExecutionState *current, [all …]
|
H A D | Executor.h | 60 class ExecutionState; variable 98 typedef std::pair<ExecutionState*,ExecutionState*> StatePair; 142 std::vector<ExecutionState *> addedStates; 236 void run(ExecutionState &initialState); 256 ExecutionState &state); 276 void resolveExact(ExecutionState &state, 300 void executeAlloc(ExecutionState &state, 313 void executeFree(ExecutionState &state, 347 void branch(ExecutionState &state, 381 ExecutionState &state, [all …]
|
H A D | Searcher.cpp | 42 ExecutionState &DFSSearcher::selectState() { in selectState() 46 void DFSSearcher::update(ExecutionState *current, in update() 75 ExecutionState &BFSSearcher::selectState() { in selectState() 79 void BFSSearcher::update(ExecutionState *current, in update() 121 ExecutionState &RandomSearcher::selectState() { in selectState() 125 void RandomSearcher::update(ExecutionState *current, in update() 265 ExecutionState &RandomPathSearcher::selectState() { in selectState() 361 ExecutionState& MergingSearcher::selectState() { in selectState() 416 ExecutionState &BatchingSearcher::selectState() { in selectState() 469 ExecutionState &res = baseSearcher->selectState(); in selectState() [all …]
|
H A D | ExecutionState.h | 146 class ExecutionState { 153 ExecutionState(const ExecutionState &state); 241 ExecutionState(){} in ExecutionState() function 244 explicit ExecutionState(KFunction *kf); 246 ExecutionState &operator=(const ExecutionState &) = delete; 248 ExecutionState(ExecutionState &&) noexcept = delete; 250 ExecutionState& operator=(ExecutionState &&) noexcept = delete; 252 ~ExecutionState(); 254 ExecutionState *branch(); 263 bool merge(const ExecutionState &b); [all …]
|
H A D | MergeHandler.h | 92 class ExecutionState; variable 112 unsigned getInstructionDistance(ExecutionState *es); 116 std::vector<ExecutionState *> openStates; 120 std::map<llvm::Instruction *, std::vector<ExecutionState *> > 126 void addClosedState(ExecutionState *es, llvm::Instruction *mp); 129 ExecutionState *getPrioritizeState(); 132 void addOpenState(ExecutionState *es); 135 void removeOpenState(ExecutionState *es); 152 MergeHandler(Executor *_executor, ExecutionState *es);
|
H A D | SpecialFunctionHandler.cpp | 215 bool SpecialFunctionHandler::handle(ExecutionState &state, in handle() 290 void SpecialFunctionHandler::handleAbort(ExecutionState &state, in handleAbort() 297 void SpecialFunctionHandler::handleExit(ExecutionState &state, in handleExit() 311 void SpecialFunctionHandler::handleAssert(ExecutionState &state, in handleAssert() 382 void SpecialFunctionHandler::handleNew(ExecutionState &state, in handleNew() 391 void SpecialFunctionHandler::handleDelete(ExecutionState &state, in handleDelete() 418 void SpecialFunctionHandler::handleMalloc(ExecutionState &state, in handleMalloc() 462 ExecutionState &state, KInstruction *target, in handleEhUnwindRaiseExceptionImpl() 687 ExecutionState &state, KInstruction *target, in handleErrnoLocation() 754 void SpecialFunctionHandler::handleFree(ExecutionState &state, in handleFree() [all …]
|
/dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-snow-device-management/source/model/ |
H A D | ExecutionState.cpp | 37 return ExecutionState::QUEUED; in GetExecutionStateForName() 45 return ExecutionState::CANCELED; in GetExecutionStateForName() 49 return ExecutionState::FAILED; in GetExecutionStateForName() 70 return ExecutionState::NOT_SET; in GetExecutionStateForName() 77 case ExecutionState::QUEUED: in GetNameForExecutionState() 79 case ExecutionState::IN_PROGRESS: in GetNameForExecutionState() 81 case ExecutionState::CANCELED: in GetNameForExecutionState() 83 case ExecutionState::FAILED: in GetNameForExecutionState() 85 case ExecutionState::SUCCEEDED: in GetNameForExecutionState() 87 case ExecutionState::REJECTED: in GetNameForExecutionState() [all …]
|
/dports/net-p2p/go-ethereum/aws-sdk-go-v2-a930583ec379/service/snowdevicemanagement/types/ |
H A D | enums.go | 27 type ExecutionState string type 31 ExecutionStateQueued ExecutionState = "QUEUED" 32 ExecutionStateInProgress ExecutionState = "IN_PROGRESS" 33 ExecutionStateCanceled ExecutionState = "CANCELED" 34 ExecutionStateFailed ExecutionState = "FAILED" 35 ExecutionStateSucceeded ExecutionState = "SUCCEEDED" 36 ExecutionStateRejected ExecutionState = "REJECTED" 37 ExecutionStateTimedOut ExecutionState = "TIMED_OUT" 43 func (ExecutionState) Values() []ExecutionState { 44 return []ExecutionState{
|
/dports/www/grafana8/azure-sdk-for-go-sdk-azidentity-v0.10.0/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/Azure/azure-sdk-for-go/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/azure-sdk-for-go-sdk-azidentity-v0.10.0/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/azure-sdk-for-go-sdk-azcore-v0.19.0/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/azure-sdk-for-go-sdk-azcore-v0.19.0/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/security/vault/vault-1.8.2/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 72 type ExecutionState string type 76 Failed ExecutionState = "failed" 78 Queued ExecutionState = "queued" 80 Running ExecutionState = "running" 82 Succeeded ExecutionState = "succeeded" 84 Terminating ExecutionState = "terminating" 88 func PossibleExecutionStateValues() []ExecutionState { 89 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/security/vault/vault-1.8.2/vendor/github.com/Azure/azure-sdk-for-go/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 72 type ExecutionState string type 76 Failed ExecutionState = "failed" 78 Queued ExecutionState = "queued" 80 Running ExecutionState = "running" 82 Succeeded ExecutionState = "succeeded" 84 Terminating ExecutionState = "terminating" 88 func PossibleExecutionStateValues() []ExecutionState { 89 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/sysutils/restic/restic-0.12.1/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/Azure/azure-sdk-for-go/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/azure-sdk-for-go-sdk-internal-v0.7.0/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/azure-sdk-for-go-sdk-internal-v0.7.0/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/sysutils/restic/restic-0.12.1/vendor/github.com/Azure/azure-sdk-for-go/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 61 type ExecutionState string type 65 Failed ExecutionState = "failed" 67 Queued ExecutionState = "queued" 69 Running ExecutionState = "running" 71 Succeeded ExecutionState = "succeeded" 73 Terminating ExecutionState = "terminating" 77 func PossibleExecutionStateValues() []ExecutionState { 78 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/sysutils/terraform/terraform-1.0.11/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-03-01/batchai/ |
H A D | enums.go | 72 type ExecutionState string type 76 Failed ExecutionState = "failed" 78 Queued ExecutionState = "queued" 80 Running ExecutionState = "running" 82 Succeeded ExecutionState = "succeeded" 84 Terminating ExecutionState = "terminating" 88 func PossibleExecutionStateValues() []ExecutionState { 89 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/sysutils/terraform/terraform-1.0.11/vendor/github.com/Azure/azure-sdk-for-go/services/preview/batchai/mgmt/2017-09-01-preview/batchai/ |
H A D | enums.go | 72 type ExecutionState string type 76 Failed ExecutionState = "failed" 78 Queued ExecutionState = "queued" 80 Running ExecutionState = "running" 82 Succeeded ExecutionState = "succeeded" 84 Terminating ExecutionState = "terminating" 88 func PossibleExecutionStateValues() []ExecutionState { 89 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/Azure/azure-sdk-for-go/services/batchai/mgmt/2018-05-01/batchai/ |
H A D | enums.go | 59 type ExecutionState string type 63 Failed ExecutionState = "failed" 65 Queued ExecutionState = "queued" 67 Running ExecutionState = "running" 69 Succeeded ExecutionState = "succeeded" 71 Terminating ExecutionState = "terminating" 75 func PossibleExecutionStateValues() []ExecutionState { 76 return []ExecutionState{Failed, Queued, Running, Succeeded, Terminating}
|