UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

13 lines (12 loc) • 541 B
1
2
3
4
5
6
7
8
9
10
11
12
13
/** * Get the path to the Apalache distribution directory. * @param {string} version - The version of Apalache. * @returns {string} The path to the Apalache distribution directory. */ export declare function apalacheDistDir(version: string): string; /** * Get the path to the Rust evaluator executable directory. * @param {string} version - The version of the evaluator. * @returns {string} The path to the directory that should contain the evaluator executable. */ export declare function rustEvaluatorDir(version: string): string;