api

Documentation

Index

• Constants

Constants

const ALL_TARGETS = "/allTargets"

const BASE_PATH = "/controller/api"

const CONTROLLER_INFO = "/controllerInfo"

const DATABASE_COMMAND = "/databaseCommand"

const DEFAULT_CONTROLLER_HOST = "localhost"

const DEFAULT_CONTROLLER_PORT = 40100

const EXTRA_HEURISTICS = "/extraHeuristics"

const FULL_OBJECTIVE_COVERAGE = "/fullObjectiveCoverage"

const INFO_SUT = "/infoSUT"

const NEW_ACTION = "/newAction"

const NEW_SEARCH = "/newSearch"

const RUN_SUT = "/runSUT"

const TEST_RESULTS = "/testResults"