@syntest/base-language
Advanced tools
Comparing version 0.3.0-beta.0 to 0.3.0-beta.1
@@ -36,2 +36,3 @@ import { LoggingOptions } from "@syntest/logging"; | ||
terminationTriggers: string[]; | ||
exceptionObjectivesEnabled: boolean; | ||
}; | ||
@@ -45,2 +46,3 @@ export type BudgetOptions = { | ||
export type PostProcessingOptions = { | ||
testSplitting: boolean; | ||
testMinimization: boolean; | ||
@@ -47,0 +49,0 @@ }; |
@@ -193,2 +193,10 @@ "use strict"; | ||
}, | ||
"exception-objectives-enabled": { | ||
alias: [], | ||
default: true, | ||
description: "Wether we save exception objectives or not.", | ||
group: OptionGroups.SearchAlgorithm, | ||
hidden: false, | ||
type: "boolean", | ||
}, | ||
}; | ||
@@ -236,4 +244,4 @@ } | ||
alias: [], | ||
default: false, | ||
description: "Minimize test cases at the end of the search", | ||
default: true, | ||
description: "Minimize test cases at the end of the search.", | ||
group: OptionGroups.PostProccessing, | ||
@@ -243,2 +251,10 @@ hidden: false, | ||
}, | ||
"test-splitting": { | ||
alias: [], | ||
default: true, | ||
description: "Split test cases at the end of the search.", | ||
group: OptionGroups.PostProccessing, | ||
hidden: false, | ||
type: "boolean", | ||
}, | ||
}; | ||
@@ -245,0 +261,0 @@ } |
@@ -5,4 +5,2 @@ import { Encoding, ObjectiveManager } from "@syntest/search"; | ||
* Plugin for the simple objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -9,0 +7,0 @@ export declare class SimpleObjectiveManagerPlugin<T extends Encoding> extends ObjectiveManagerPlugin<T> { |
@@ -25,4 +25,2 @@ "use strict"; | ||
* Plugin for the simple objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -34,3 +32,3 @@ class SimpleObjectiveManagerPlugin extends ObjectiveManagerPlugin_1.ObjectiveManagerPlugin { | ||
createObjectiveManager(options) { | ||
return new search_1.SimpleObjectiveManager(options.runner, options.secondaryObjectives); | ||
return new search_1.SimpleObjectiveManager(options.runner, options.secondaryObjectives, options.exceptionObjectivesEnabled); | ||
} | ||
@@ -37,0 +35,0 @@ getOptions() { |
@@ -5,4 +5,2 @@ import { Encoding, ObjectiveManager } from "@syntest/search"; | ||
* Plugin for the structural objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -9,0 +7,0 @@ export declare class StructuralObjectiveManagerPlugin<T extends Encoding> extends ObjectiveManagerPlugin<T> { |
@@ -25,4 +25,2 @@ "use strict"; | ||
* Plugin for the structural objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -34,3 +32,3 @@ class StructuralObjectiveManagerPlugin extends ObjectiveManagerPlugin_1.ObjectiveManagerPlugin { | ||
createObjectiveManager(options) { | ||
return new search_1.StructuralObjectiveManager(options.runner, options.secondaryObjectives); | ||
return new search_1.StructuralObjectiveManager(options.runner, options.secondaryObjectives, options.exceptionObjectivesEnabled); | ||
} | ||
@@ -37,0 +35,0 @@ getOptions() { |
@@ -33,3 +33,3 @@ "use strict"; | ||
createObjectiveManager(options) { | ||
return new search_1.StructuralUncoveredObjectiveManager(options.runner, options.secondaryObjectives); | ||
return new search_1.StructuralUncoveredObjectiveManager(options.runner, options.secondaryObjectives, options.exceptionObjectivesEnabled); | ||
} | ||
@@ -36,0 +36,0 @@ getOptions() { |
@@ -31,3 +31,3 @@ "use strict"; | ||
createObjectiveManager(options) { | ||
return new search_1.TrackingObjectiveManager(options.runner, options.secondaryObjectives); | ||
return new search_1.TrackingObjectiveManager(options.runner, options.secondaryObjectives, options.exceptionObjectivesEnabled); | ||
} | ||
@@ -34,0 +34,0 @@ getOptions() { |
@@ -5,4 +5,2 @@ import { Encoding, ObjectiveManager } from "@syntest/search"; | ||
* Plugin for the uncovered objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -9,0 +7,0 @@ export declare class UncoveredObjectiveManagerPlugin<T extends Encoding> extends ObjectiveManagerPlugin<T> { |
@@ -25,4 +25,2 @@ "use strict"; | ||
* Plugin for the uncovered objective manager | ||
* | ||
* @author Dimitri Stallenberg | ||
*/ | ||
@@ -34,3 +32,3 @@ class UncoveredObjectiveManagerPlugin extends ObjectiveManagerPlugin_1.ObjectiveManagerPlugin { | ||
createObjectiveManager(options) { | ||
return new search_1.UncoveredObjectiveManager(options.runner, options.secondaryObjectives); | ||
return new search_1.UncoveredObjectiveManager(options.runner, options.secondaryObjectives, options.exceptionObjectivesEnabled); | ||
} | ||
@@ -37,0 +35,0 @@ getOptions() { |
@@ -6,2 +6,3 @@ import { Plugin } from "@syntest/module"; | ||
secondaryObjectives: Set<SecondaryObjectiveComparator<T>>; | ||
exceptionObjectivesEnabled: boolean; | ||
}; | ||
@@ -8,0 +9,0 @@ export declare abstract class ObjectiveManagerPlugin<T extends Encoding> extends Plugin { |
{ | ||
"name": "@syntest/base-language", | ||
"version": "0.3.0-beta.0", | ||
"version": "0.3.0-beta.1", | ||
"description": "The base testing tool of the SynTest Framework", | ||
@@ -54,3 +54,3 @@ "keywords": [ | ||
"@syntest/module": "^0.1.1", | ||
"@syntest/search": "^0.5.0-beta.0", | ||
"@syntest/search": "^0.5.0-beta.1", | ||
"@syntest/storage": "^0.2.0", | ||
@@ -66,3 +66,3 @@ "globby": "11.0.4", | ||
}, | ||
"gitHead": "c18ffa4c96e1f5e5cf9a7fc8c6bd96c9e5683bb4" | ||
"gitHead": "05e3f65f4ead39eb943c25b246f7e21b3e29a21b" | ||
} |
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
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
201694
3046