export declare const OUTPUT_FOLDER_PATH: string;
export declare const OUTPUT_TRUTH_TABLE_PATH: string;
export declare const FUZZING_QUERIES_PATH: string;
export declare const FUZZING_PROCEDURES_PATH: string;