Home
last modified time | relevance | path

Searched refs:ExecutionState (Results 1 – 25 of 685) sorted by relevance

12345678910>>...28

/dports/security/klee/klee-2.2/lib/Core/
H A DSearcher.h35 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 DExecutor.h60 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 DSearcher.cpp42 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 DExecutionState.h146 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 DMergeHandler.h92 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 DSpecialFunctionHandler.cpp215 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 DExecutionState.cpp37 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 Denums.go27 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go72 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 Denums.go72 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go61 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 Denums.go72 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 Denums.go72 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 Denums.go59 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}

12345678910>>...28