tla-checker 0.4.1 → 0.4.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/package.json +1 -1
  2. package/tla_checker.js +3 -4
  3. package/tla_checker_bg.wasm +0 -0
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "tla-checker",
3
- "version": "0.4.1",
3
+ "version": "0.4.2",
4
4
  "type": "module",
5
5
  "description": "A TLA+ model checker compiled to WebAssembly",
6
6
  "license": "MIT OR Apache-2.0",
package/tla_checker.js CHANGED
@@ -114,7 +114,6 @@ export function check_spec_with_options(spec_source, options_json) {
114
114
  wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
115
115
  }
116
116
  }
117
-
118
117
  function __wbg_get_imports() {
119
118
  const import0 = {
120
119
  __proto__: null,
@@ -134,8 +133,7 @@ function getDataViewMemory0() {
134
133
  }
135
134
 
136
135
  function getStringFromWasm0(ptr, len) {
137
- ptr = ptr >>> 0;
138
- return decodeText(ptr, len);
136
+ return decodeText(ptr >>> 0, len);
139
137
  }
140
138
 
141
139
  let cachedUint8ArrayMemory0 = null;
@@ -212,8 +210,9 @@ if (!('encodeInto' in cachedTextEncoder)) {
212
210
 
213
211
  let WASM_VECTOR_LEN = 0;
214
212
 
215
- let wasmModule, wasm;
213
+ let wasmModule, wasmInstance, wasm;
216
214
  function __wbg_finalize_init(instance, module) {
215
+ wasmInstance = instance;
217
216
  wasm = instance.exports;
218
217
  wasmModule = module;
219
218
  cachedDataViewMemory0 = null;
package/tla_checker_bg.wasm CHANGED
Binary file