search

ExpoSEJS / ExpoSE

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
MIT License
183 stars 36 forks source link

Tests fail on fresh clone and install #100

Closed kumavis closed 3 years ago

kumavis commented 3 years ago

steps

  1. git clone + cd
  2. npm install
  3. npm test

test output here https://gist.github.com/kumavis/53d1f802fa8109790d343835d9ef6eb0

I'll take a closer look at the CI to try and figure out what I'm missing

kumavis commented 3 years ago

using ndb I was able to see that z3javascript is failing to resolve at runtime

internal/modules/cjs/loader.js:982 Uncaught Error: Cannot find module 'z3javascript'
jawline commented 3 years ago

I think that the likely culprit is the build / install step I hacked together to compile a JavaScript compatible z3 on install is not compatible with newer node versions but failed silently. If running an older version of node and reinstalling works then I'll try and fix this as a priority

kumavis commented 3 years ago

confirmed it works on node v8, ill PR an "engines" field to help make this clear