-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathExecution.swift
75 lines (64 loc) · 2.12 KB
/
Execution.swift
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
// Copyright 2019 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
import Foundation
/// The possible outcome of a program execution.
public enum ExecutionOutcome: CustomStringConvertible, Equatable, Hashable {
case crashed(Int)
case failed(Int)
case succeeded
case timedOut
case differential
public var description: String {
switch self {
case .crashed(let signal):
return "Crashed (signal \(signal))"
case .failed(let exitcode):
return "Failed (exit code \(exitcode))"
case .succeeded:
return "Succeeded"
case .timedOut:
return "TimedOut"
case .differential:
return "Differential"
}
}
public func isCrash() -> Bool {
if case .crashed = self {
return true
}
else if case .differential = self {
return true
} else {
return false
}
}
}
/// The result of executing a program.
public protocol Execution {
/// The execution outcome
var outcome: ExecutionOutcome { get set }
/// The program's stdout
var stdout: String { get }
/// The program's stderr
var stderr: String { get }
/// The program's FuzzIL output
var fuzzout: String { get }
/// Execution time in microseconds
var execTime: TimeInterval { get set }
/// A serialized version of (some of) the programs variables after
/// execution is finished. Might be empty if the result was not requested
/// or could not be computed.
var differentialResult: Int { get }
var differentialResultInputs: Int { get }
}