Coverage for bugscpp/config/env.py : 100%
Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
1"""
2Configuration file for controlling defects4cpp.
4"""
5import os
6from typing import Dict, List
8# Docker username (should be the same with Dockerfile)
9DPP_DOCKER_USER: str = "defects4cpp"
10# Docker workspace (should be the same with Dockerfile)
11DPP_DOCKER_HOME: str = "/home/workspace"
13# meta.json variables
14DPP_PARALLEL_BUILD: str = "1"
15DPP_COMPILATION_DB_TOOL: str = "bear"
16DPP_CMAKE_COMPILATION_DB_TOOL: str = ""
17DPP_ADDITIONAL_GCOV_OPTIONS: str = ""
18DPP_BUILD_PRE_STEPS: List[Dict[str, any]] = []
19DPP_BUILD_POST_STEPS: List[Dict[str, any]] = []
21# Directory at which bugcpp.py is placed
22DPP_HOME: str = os.path.realpath(
23 os.path.join(os.path.dirname(os.path.realpath(__file__)), "..")
24)