Skip to content

Commit

Permalink
Remove unused CLI flag
Browse files Browse the repository at this point in the history
  • Loading branch information
donn committed Oct 20, 2024
1 parent 29af6be commit 6780759
Showing 1 changed file with 0 additions and 18 deletions.
18 changes: 0 additions & 18 deletions Sources/Fault/Entries/atpg.swift
Original file line number Diff line number Diff line change
Expand Up @@ -103,12 +103,6 @@ extension Fault {
@OptionGroup
var bypass: BypassOptions

@Option(
help:
"If provided, this JSON file's test vectors are simulated and no generation is attempted."
)
var externalTVSet: String?

@Option(
help:
"If provided, this JSON file's test vector are used as the initial set of test vectors, with iterations taking place with them in mind."
Expand Down Expand Up @@ -183,18 +177,6 @@ extension Fault {
var etvSetVectors: [TestVector] = []
var etvSetInputs: [Port] = []

if let tvSetTest = externalTVSet {
if !fileManager.fileExists(atPath: tvSetTest) {
throw ValidationError("TVs JSON file '\(tvSetTest)' not found.")
}
if tvSetTest.hasSuffix(".json") {
(etvSetVectors, etvSetInputs) = try TVSet.readFromJson(file: tvSetTest)
} else {
(etvSetVectors, etvSetInputs) = try TVSet.readFromText(file: tvSetTest)
}
print("Read \(etvSetVectors.count) externally-generated vectors to verify.")
}

if let tvGenerator = etvGen {
guard let etvgen = ETVGFactory.get(name: tvGenerator) else {
Stderr.print("Unknown external test vector generator '\(tvGenerator)'.")
Expand Down

0 comments on commit 6780759

Please sign in to comment.