ExpoSE

ExpoSE copied to clipboard

RangeError [ERR_OUT_OF_RANGE]: error setting argument 2 - The value of "value" is out of range. It must be >= -2147483648 and <= 2147483647. Received 56_894_816_742_442_910_000

2

I'm trying to test a small (non-cryptographic) hash function (NB: the actual function I want to test uses `charCodeAt()`, but since this isn't supported in ExpoSE, I switched to arrays...

moyix

Infinite Call Loop

4

Recently I am trying to analyze some modules with ExpoSE. Since ExpoSE is based on jalangi2, I have to use babel to downgrade modules that are not compatible with jalangi2....

cl0udz

Electron Browser mode and instrumentation failure

1

Let me begin by congratulating you for the excellent papers. Was wondering how to use the Browser mode w/ Electron? How to specify symbolic input in that case? I can...

1one-w01f

Models for indexOf and lastIndexOf

5

jawline

If I run https://1688.com, I get the following output: [249915:0905/001635.380864:INFO:CONSOLE(12207)] "PUUID: 11847, OUTPUT_LOAD_EVENT: !!!{"depth":0,"createdFromParent":"N/A","createdFrom":true,"createdAtDepth":2,"createdAtFork":24}!!! !!!Solver { (define-funs-rec ( ( str.repeat ((x!1 String) (x!2 Int)) String) ( str.whiteLeft ((x!1 String) (x!2...

gogo9th

Error when running basic example: Unexpected end of JSON input

2

I've encountered an issue when attempting to run the basic example provided in the README. The process ends with some error messages, and I'm unable to proceed. I've installed it...

dan-mk

Installation fails due to node-gyp requiring a more recent nodejs version for z3javascript

1

I first tried building on MacOS and ran into this issue. To make it easier for you to reproduce the issue, I upgraded the Dockerfile to match the latest install...

JJK96

command not found: expoSE

5

I try to install expoSE using command `npm install`. Although the installation was successful (even with a few warning), the "expoSE" command could not be found：  Do you know...

Yongli0510

node v14.16.1 is not compatible anymore (we now need node v14.17.0)

1

``` npm ERR! code ENOTSUP npm ERR! notsup Unsupported engine for [email protected]: wanted: {"node":"^14.17.0 || ^16.13.0 || >=18.0.0"} (current: {"node":"14.16.1","npm":"6.14.12"}) npm ERR! notsup Not compatible with your version of node/npm:...

gogo9th

_I am new to this library, so I'm not sure if this is a bug or I am missing something._ Considering the following test case: ```javascript const S$ = require('S$');...

Otto-AA