@informalsystems/quint
Version:
Core tool for the Quint specification language
19 lines • 738 B
JavaScript
;
/* ----------------------------------------------------------------------------------
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */
Object.defineProperty(exports, "__esModule", { value: true });
exports.quintErrorToString = void 0;
/** Formats a Quint error as a string
*
* @param err the error to be formatted
*
* @returns a string representation of the error
*/
function quintErrorToString(err) {
return `[${err.code}] ${err.message}`;
}
exports.quintErrorToString = quintErrorToString;
//# sourceMappingURL=quintError.js.map