@syntest/search
Advanced tools
Comparing version 0.4.0-beta.27 to 0.4.0-beta.28
@@ -15,2 +15,3 @@ import { Decoder } from "./Decoder"; | ||
protected _assertions: Map<string, string>; | ||
protected _metaComments: string[]; | ||
/** | ||
@@ -39,2 +40,4 @@ * Mapping from objective to their distance values for this test case. | ||
set assertions(value: Map<string, string>); | ||
get metaComments(): string[]; | ||
addMetaComment(comment: string): void; | ||
abstract copy(): Encoding; | ||
@@ -41,0 +44,0 @@ /** |
@@ -37,2 +37,3 @@ "use strict"; | ||
this._assertions = new Map(); | ||
this._metaComments = []; | ||
} | ||
@@ -60,2 +61,8 @@ getCrowdingDistance() { | ||
} | ||
get metaComments() { | ||
return [...this._metaComments]; | ||
} | ||
addMetaComment(comment) { | ||
this._metaComments.push(comment); | ||
} | ||
/** | ||
@@ -62,0 +69,0 @@ * Return the execution result. |
@@ -58,4 +58,4 @@ import { Logger } from "@syntest/logging"; | ||
getObjectiveManager(): ObjectiveManager<T>; | ||
getCovered(objectiveType?: string): number; | ||
getUncovered(objectiveType?: string): number; | ||
private getCovered; | ||
private getUncovered; | ||
/** | ||
@@ -62,0 +62,0 @@ * The progress of the search process. |
@@ -54,3 +54,5 @@ "use strict"; | ||
_updateArchive(objectiveFunction, encoding) { | ||
ObjectiveManager.LOGGER.debug("updating archive"); | ||
if (!this._archive.has(objectiveFunction)) { | ||
ObjectiveManager.LOGGER.debug(`new objective covered: ${objectiveFunction.getIdentifier()}`); | ||
this._archive.update(objectiveFunction, encoding); | ||
@@ -68,2 +70,3 @@ return; | ||
if (comparison > 0) { | ||
ObjectiveManager.LOGGER.debug("overwriting archive with better encoding"); | ||
this._archive.update(objectiveFunction, encoding); | ||
@@ -112,2 +115,3 @@ } | ||
ObjectiveManager.LOGGER.debug(`Objective ${objectiveFunction.getIdentifier()} covered by encoding ${encoding.id}`); | ||
encoding.addMetaComment(`Covers objective: ${objectiveFunction.getIdentifier()}`); | ||
// Update the objectives | ||
@@ -114,0 +118,0 @@ this._updateObjectives(objectiveFunction); |
@@ -33,2 +33,4 @@ "use strict"; | ||
_updateObjectives(objectiveFunction) { | ||
ObjectiveManager_1.ObjectiveManager.LOGGER.debug("updating objectives"); | ||
ObjectiveManager_1.ObjectiveManager.LOGGER.debug(`covered: ${objectiveFunction.getIdentifier()}`); | ||
// Remove objective from the current and uncovered objectives | ||
@@ -42,4 +44,6 @@ this._uncoveredObjectives.delete(objectiveFunction); | ||
if (!this._coveredObjectives.has(objective) && | ||
!this._currentObjectives.has(objective)) | ||
!this._currentObjectives.has(objective)) { | ||
ObjectiveManager_1.ObjectiveManager.LOGGER.debug(`adding new objective: ${objective.getIdentifier()}`); | ||
this._currentObjectives.add(objective); | ||
} | ||
} | ||
@@ -59,5 +63,4 @@ } | ||
// Set the current objectives | ||
const rootObjectiveNodes = this._subject.cfg.functions.map((g) => g.graph.getChildren(g.graph.entry.id)[0] // should always be one child of the entry node | ||
const rootObjectiveIds = this._subject.cfg.functions.map((g) => g.id // should always be one child of the entry node | ||
); | ||
const rootObjectiveIds = rootObjectiveNodes.map((objective) => objective.id); | ||
let rootObjectives = []; | ||
@@ -72,4 +75,6 @@ for (const id of rootObjectiveIds) { | ||
} | ||
for (const objective of rootObjectives) | ||
for (const objective of rootObjectives) { | ||
ObjectiveManager_1.ObjectiveManager.LOGGER.debug(`adding root objective: ${objective.getIdentifier()}`); | ||
this._currentObjectives.add(objective); | ||
} | ||
} | ||
@@ -76,0 +81,0 @@ } |
{ | ||
"name": "@syntest/search", | ||
"version": "0.4.0-beta.27", | ||
"version": "0.4.0-beta.28", | ||
"description": "The common core of the SynTest Framework", | ||
@@ -65,3 +65,3 @@ "keywords": [ | ||
}, | ||
"gitHead": "8a66b59a3ef159650ac25aa8fe1a3aa9524b79fb" | ||
"gitHead": "9d35d375961c5e2c9ef438d1a1e94068a1137278" | ||
} |
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
281077
4926