@syntest/base-language
Advanced tools
Comparing version 0.2.0-beta.59 to 0.2.0-beta.60
import { Metric } from "@syntest/metric"; | ||
export declare enum SeriesName { | ||
OBJECTIVE_DISTANCE = "objective-distance", | ||
BRANCHES_COVERED = "branches-covered", | ||
@@ -4,0 +5,0 @@ STATEMENTS_COVERED = "statements-covered", |
@@ -24,2 +24,3 @@ "use strict"; | ||
(function (SeriesName) { | ||
SeriesName["OBJECTIVE_DISTANCE"] = "objective-distance"; | ||
SeriesName["BRANCHES_COVERED"] = "branches-covered"; | ||
@@ -110,2 +111,22 @@ SeriesName["STATEMENTS_COVERED"] = "statements-covered"; | ||
exports.metrics = [ | ||
{ | ||
type: metric_1.MetricType.SERIES_MEASUREMENT, | ||
name: SeriesName.OBJECTIVE_DISTANCE, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES_MEASUREMENT, | ||
name: SeriesName.OBJECTIVE_DISTANCE, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES_MEASUREMENT, | ||
name: SeriesName.OBJECTIVE_DISTANCE, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES_MEASUREMENT, | ||
name: SeriesName.OBJECTIVE_DISTANCE, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
// coverage | ||
@@ -115,49 +136,49 @@ // search time | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.STATEMENTS_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.STATEMENTS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCHES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.BRANCHES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTIONS_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.FUNCTIONS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.SEARCH_TIME, | ||
name: SeriesName.OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.SEARCH_TIME, | ||
}, | ||
@@ -167,49 +188,49 @@ // total time | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.STATEMENTS_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.STATEMENTS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCHES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.BRANCHES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTIONS_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.FUNCTIONS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
@@ -219,49 +240,49 @@ // iterations | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.STATEMENTS_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.STATEMENTS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCHES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.BRANCHES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTIONS_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.FUNCTIONS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.ITERATION, | ||
name: SeriesName.OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.ITERATION, | ||
}, | ||
@@ -271,49 +292,49 @@ // evaluations | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.STATEMENTS_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.STATEMENTS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCHES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.BRANCHES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTIONS_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.FUNCTIONS_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.PATH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.EXCEPTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.FUNCTION_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.LINE_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.OBJECTIVES_COVERED, | ||
seriesType: metric_1.SeriesType.EVALUATION, | ||
name: SeriesName.OBJECTIVES_COVERED, | ||
seriesUnit: metric_1.SeriesUnit.EVALUATION, | ||
}, | ||
@@ -323,39 +344,39 @@ // totals | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.STATEMENTS_TOTAL, | ||
name: PropertyName.STATEMENTS_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.BRANCHES_TOTAL, | ||
name: PropertyName.BRANCHES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.FUNCTIONS_TOTAL, | ||
name: PropertyName.FUNCTIONS_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PATH_OBJECTIVES_TOTAL, | ||
name: PropertyName.PATH_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.BRANCH_OBJECTIVES_TOTAL, | ||
name: PropertyName.BRANCH_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.FUNCTION_OBJECTIVES_TOTAL, | ||
name: PropertyName.FUNCTION_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.EXCEPTION_OBJECTIVES_TOTAL, | ||
name: PropertyName.EXCEPTION_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.LINE_OBJECTIVES_TOTAL, | ||
name: PropertyName.LINE_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.IMPLICIT_BRANCH_OBJECTIVES_TOTAL, | ||
name: PropertyName.IMPLICIT_BRANCH_OBJECTIVES_TOTAL, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.OBJECTIVES_TOTAL, | ||
name: PropertyName.OBJECTIVES_TOTAL, | ||
}, | ||
@@ -365,39 +386,39 @@ // final coverage | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.STATEMENTS_COVERED, | ||
name: PropertyName.STATEMENTS_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.BRANCHES_COVERED, | ||
name: PropertyName.BRANCHES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.FUNCTIONS_COVERED, | ||
name: PropertyName.FUNCTIONS_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PATH_OBJECTIVES_COVERED, | ||
name: PropertyName.PATH_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.BRANCH_OBJECTIVES_COVERED, | ||
name: PropertyName.BRANCH_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.FUNCTION_OBJECTIVES_COVERED, | ||
name: PropertyName.FUNCTION_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.EXCEPTION_OBJECTIVES_COVERED, | ||
name: PropertyName.EXCEPTION_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.LINE_OBJECTIVES_COVERED, | ||
name: PropertyName.LINE_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
name: PropertyName.IMPLICIT_BRANCH_OBJECTIVES_COVERED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.OBJECTIVES_COVERED, | ||
name: PropertyName.OBJECTIVES_COVERED, | ||
}, | ||
@@ -407,15 +428,15 @@ // general properties | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PRESET, | ||
name: PropertyName.PRESET, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TARGET_ROOT_DIRECTORY, | ||
name: PropertyName.TARGET_ROOT_DIRECTORY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.INCLUDE, | ||
name: PropertyName.INCLUDE, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.EXCLUDE, | ||
name: PropertyName.EXCLUDE, | ||
}, | ||
@@ -425,31 +446,31 @@ // search | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SEARCH_ALGORITHM, | ||
name: PropertyName.SEARCH_ALGORITHM, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.POPULATION_SIZE, | ||
name: PropertyName.POPULATION_SIZE, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.OBJECTIVE_MANAGER, | ||
name: PropertyName.OBJECTIVE_MANAGER, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SECONDARY_OBJECTIVES, | ||
name: PropertyName.SECONDARY_OBJECTIVES, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PROCREATION, | ||
name: PropertyName.PROCREATION, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.CROSSOVER, | ||
name: PropertyName.CROSSOVER, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SAMPLER, | ||
name: PropertyName.SAMPLER, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TERMINATION_TRIGGERS, | ||
name: PropertyName.TERMINATION_TRIGGERS, | ||
}, | ||
@@ -459,15 +480,15 @@ // timing | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_TOTAL_TIME, | ||
name: PropertyName.MAX_TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_SEARCH_TIME, | ||
name: PropertyName.MAX_SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_EVALUATIONS, | ||
name: PropertyName.MAX_EVALUATIONS, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_ITERATIONS, | ||
name: PropertyName.MAX_ITERATIONS, | ||
}, | ||
@@ -477,3 +498,3 @@ // postprocess | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TEST_MINIMIZATION, | ||
name: PropertyName.TEST_MINIMIZATION, | ||
}, | ||
@@ -483,63 +504,63 @@ // sampling | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.RANDOM_SEED, | ||
name: PropertyName.RANDOM_SEED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_DEPTH, | ||
name: PropertyName.MAX_DEPTH, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MAX_ACTION_STATEMENTS, | ||
name: PropertyName.MAX_ACTION_STATEMENTS, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.CONSTANT_POOL_ENABLED, | ||
name: PropertyName.CONSTANT_POOL_ENABLED, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.EXPLORE_ILLEGAL_VALUES, | ||
name: PropertyName.EXPLORE_ILLEGAL_VALUES, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.RESAMPLE_GENE_PROBABILITY, | ||
name: PropertyName.RESAMPLE_GENE_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.DELTA_MUTATION_PROBABILITY, | ||
name: PropertyName.DELTA_MUTATION_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SAMPLE_EXISTING_VALUE_PROBABILITY, | ||
name: PropertyName.SAMPLE_EXISTING_VALUE_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MULTI_POINT_CROSSOVER_PROBABILITY, | ||
name: PropertyName.MULTI_POINT_CROSSOVER_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.CROSSOVER_PROBABILITY, | ||
name: PropertyName.CROSSOVER_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.CONSTANT_POOL_PROBABILITY, | ||
name: PropertyName.CONSTANT_POOL_PROBABILITY, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SAMPLE_FUNCTION_OUTPUT_AS_ARGUMENT, | ||
name: PropertyName.SAMPLE_FUNCTION_OUTPUT_AS_ARGUMENT, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.STRING_ALPHABET, | ||
name: PropertyName.STRING_ALPHABET, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.STRING_MAX_LENGTH, | ||
name: PropertyName.STRING_MAX_LENGTH, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.NUMERIC_MAX_VALUE, | ||
name: PropertyName.NUMERIC_MAX_VALUE, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.CONFIGURATION, | ||
name: PropertyName.CONFIGURATION, | ||
}, | ||
@@ -549,43 +570,43 @@ // Timing | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TOTAL_TIME, | ||
name: PropertyName.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.SEARCH_TIME, | ||
name: PropertyName.SEARCH_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.EVALUATIONS, | ||
name: PropertyName.EVALUATIONS, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.ITERATIONS, | ||
name: PropertyName.ITERATIONS, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.INITIALIZATION_TIME, | ||
name: PropertyName.INITIALIZATION_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PREPROCESS_TIME, | ||
name: PropertyName.PREPROCESS_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.PROCESS_TIME, | ||
name: PropertyName.PROCESS_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.POSTPROCESS_TIME, | ||
name: PropertyName.POSTPROCESS_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TARGET_LOAD_TIME, | ||
name: PropertyName.TARGET_LOAD_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.INSTRUMENTATION_TIME, | ||
name: PropertyName.INSTRUMENTATION_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.TYPE_RESOLVE_TIME, | ||
name: PropertyName.TYPE_RESOLVE_TIME, | ||
}, | ||
@@ -595,14 +616,14 @@ // Archive | ||
type: metric_1.MetricType.SERIES, | ||
seriesName: SeriesName.ARCHIVE_SIZE, | ||
seriesType: metric_1.SeriesType.TOTAL_TIME, | ||
name: SeriesName.ARCHIVE_SIZE, | ||
seriesUnit: metric_1.SeriesUnit.TOTAL_TIME, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.ARCHIVE_SIZE, | ||
name: PropertyName.ARCHIVE_SIZE, | ||
}, | ||
{ | ||
type: metric_1.MetricType.PROPERTY, | ||
property: PropertyName.MINIMIZED_ARCHIVE_SIZE, | ||
name: PropertyName.MINIMIZED_ARCHIVE_SIZE, | ||
}, | ||
]; | ||
//# sourceMappingURL=Metrics.js.map |
@@ -1,4 +0,4 @@ | ||
import { Metric, MetricManager } from "@syntest/metric"; | ||
import { Metric, MetricManager, SeriesUnit } from "@syntest/metric"; | ||
import { EventListenerPlugin } from "@syntest/module"; | ||
import { BudgetManager, Encoding, SearchAlgorithm, SearchSubject } from "@syntest/search"; | ||
import { BudgetManager, Encoding, ObjectiveFunction, SearchAlgorithm, SearchSubject } from "@syntest/search"; | ||
export declare class SearchMetricListener extends EventListenerPlugin { | ||
@@ -20,3 +20,3 @@ protected currentNamespace: string; | ||
recordSeries<E extends Encoding>(searchAlgorithm: SearchAlgorithm<E>, subject: SearchSubject<E>, budgetManager: BudgetManager<E>): void; | ||
recordCoveredSeries(type: string, index: number, coveredPaths: number, coveredBranches: number, coveredFunctions: number, coveredLines: number, coveredImplicitBranches: number, covered: number, coveredExceptions: number): void; | ||
recordCoveredSeries<E extends Encoding>(type: SeriesUnit, index: number, coveredPaths: number, coveredBranches: number, coveredFunctions: number, coveredLines: number, coveredImplicitBranches: number, covered: number, coveredExceptions: number, coveredObjectives: ObjectiveFunction<E>[], uncoveredObjectives: ObjectiveFunction<E>[]): void; | ||
recordFinalProperties<T extends Encoding>(searchAlgorithm: SearchAlgorithm<T>): void; | ||
@@ -23,0 +23,0 @@ setupEventListener(metricManager: MetricManager): void; |
@@ -63,2 +63,5 @@ "use strict"; | ||
]; | ||
const uncovered = [ | ||
...searchAlgorithm.getObjectiveManager().getUncoveredObjectives(), | ||
]; | ||
const coveredPaths = 0; | ||
@@ -72,8 +75,14 @@ const coveredBranches = covered.filter((objectiveFunction) => objectiveFunction instanceof search_1.BranchObjectiveFunction).length; | ||
// search times | ||
this.recordCoveredSeries(metric_1.SeriesType.SEARCH_TIME, searchTime, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions); | ||
this.recordCoveredSeries(metric_1.SeriesType.TOTAL_TIME, totalTime, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions); | ||
this.recordCoveredSeries(metric_1.SeriesType.ITERATION, iterations, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions); | ||
this.recordCoveredSeries(metric_1.SeriesType.EVALUATION, evaluations, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions); | ||
this.recordCoveredSeries(metric_1.SeriesUnit.SEARCH_TIME, searchTime, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions, covered, uncovered); | ||
this.recordCoveredSeries(metric_1.SeriesUnit.TOTAL_TIME, totalTime, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions, covered, uncovered); | ||
this.recordCoveredSeries(metric_1.SeriesUnit.ITERATION, iterations, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions, covered, uncovered); | ||
this.recordCoveredSeries(metric_1.SeriesUnit.EVALUATION, evaluations, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, coveredObjectives, coveredExceptions, covered, uncovered); | ||
} | ||
recordCoveredSeries(type, index, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, covered, coveredExceptions) { | ||
recordCoveredSeries(type, index, coveredPaths, coveredBranches, coveredFunctions, coveredLines, coveredImplicitBranches, covered, coveredExceptions, coveredObjectives, uncoveredObjectives) { | ||
for (const objective of coveredObjectives) { | ||
this.metricManager.recordSeriesMeasurement(Metrics_1.SeriesName.OBJECTIVE_DISTANCE, type, index, objective.getIdentifier(), objective.getLowestDistance()); | ||
} | ||
for (const objective of uncoveredObjectives) { | ||
this.metricManager.recordSeriesMeasurement(Metrics_1.SeriesName.OBJECTIVE_DISTANCE, type, index, objective.getIdentifier(), objective.getLowestDistance()); | ||
} | ||
this.metricManager.recordSeries(Metrics_1.SeriesName.PATH_OBJECTIVES_COVERED, type, index, coveredPaths); | ||
@@ -80,0 +89,0 @@ this.metricManager.recordSeries(Metrics_1.SeriesName.BRANCH_OBJECTIVES_COVERED, type, index, coveredBranches); |
{ | ||
"name": "@syntest/base-language", | ||
"version": "0.2.0-beta.59", | ||
"version": "0.2.0-beta.60", | ||
"description": "The base testing tool of the SynTest Framework", | ||
@@ -52,5 +52,5 @@ "keywords": [ | ||
"@syntest/logging": "^0.1.0-beta.7", | ||
"@syntest/metric": "^0.1.0-beta.7", | ||
"@syntest/module": "^0.1.0-beta.20", | ||
"@syntest/search": "^0.4.0-beta.47", | ||
"@syntest/metric": "^0.1.0-beta.8", | ||
"@syntest/module": "^0.1.0-beta.21", | ||
"@syntest/search": "^0.4.0-beta.48", | ||
"@syntest/storage": "^0.1.0-beta.0", | ||
@@ -66,3 +66,3 @@ "globby": "11.0.4", | ||
}, | ||
"gitHead": "0da53dce75a0e0b426c96684aa282a7c22eb095f" | ||
"gitHead": "117e58756aba3fe6a203fccc2f0d0b78826681a8" | ||
} |
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
190210
2894