@informalsystems/quint
Version:
Core tool for the Quint specification language
12 lines • 338 B
JavaScript
;
/*
* Unit-testing framework for the JS runtime.
*
* Igor Konnov, 2023
*
* Copyright 2022 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 });
//# sourceMappingURL=testing.js.map