Giter Site home page Giter Site logo

z3javascript's Issues

Test failed

Hi, when I tried to run the command:

expoSE replay

I get the following error:
`/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/dynamic_library.js:112
throw new Error('Dynamic Symbol Retrieval Error: ' + this.error())
^

Error: Dynamic Symbol Retrieval Error: node: undefined symbol: Z3_global_param_set
at DynamicLibrary.get (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/dynamic_library.js:112:11)
at /home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/library.js:50:19
at Array.forEach ()
at Object.Library (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/library.js:47:28)
at _default (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/z3javascript/bin/package.js:762:28)
at Object. (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/z3javascript/bin/Z3Loader.js:17:40)
at Module._compile (module.js:653:30)
at Object.Module._extensions..js (module.js:664:10)
at Module.load (module.js:566:32)
at tryModuleLoad (module.js:506:12)
`
Could you please give me a hand ?

incomplete installation and failed installation with node versions > 10.23.2 (build error)

Hi,

first some information about my setup:

  • clang version 9.0.1-12
  • nvm with following node versions installed:
    • v8.17.0 (npm v6.13.4)
    • v10.23.2 (npm v6.14.10)
    • v12.20.1 (npm v6.14.10)
    • v14.15.4 (npm v6.14.10)
    • v15.8.0 (npm v7.5.1)

i tried installing z3javascript with all listed node versions but installation fails completely on versions > v10.23.2. This somehow happens when entering the ref dependency:

> [email protected] install /home/user/Documents/Testing/z3/node_modules/ref
> node-gyp rebuild

make: Entering directory '/home/user/Documents/Testing/z3/node_modules/ref/build'
  CXX(target) Release/obj.target/binding/src/binding.o
../src/binding.cc:17: warning: "__STDC_FORMAT_MACROS" redefined
   17 |   #define __STDC_FORMAT_MACROS
      | 
<command-line>: note: this is the location of the previous definition
../src/binding.cc: In function ‘Nan::NAN_METHOD_RETURN_TYPE {anonymous}::WriteObject(Nan::NAN_METHOD_ARGS_TYPE)’:
../src/binding.cc:222:43: error: no matching function for call to ‘v8::Value::BooleanValue()’
  222 |   bool persistent = info[3]->BooleanValue();
      |                                           ^

[SOME MORE ERRORS...]

make: *** [binding.target.mk:111: Release/obj.target/binding/src/binding.o] Error 1
make: Leaving directory '/home/user/Documents/Testing/z3/node_modules/ref/build'
gyp ERR! build error 
gyp ERR! stack Error: `make` failed with exit code: 2
gyp ERR! stack     at ChildProcess.onExit (/home/user/.nvm/versions/node/v14.15.4/lib/node_modules/npm/node_modules/node-gyp/lib/build.js:194:23)
gyp ERR! stack     at ChildProcess.emit (events.js:315:20)
gyp ERR! stack     at Process.ChildProcess._handle.onexit (internal/child_process.js:277:12)
gyp ERR! System Linux 5.8.0-44-generic
gyp ERR! command "/home/user/.nvm/versions/node/v14.15.4/bin/node" "/home/user/.nvm/versions/node/v14.15.4/lib/node_modules/npm/node_modules/node-gyp/bin/node-gyp.js" "rebuild"
gyp ERR! cwd /home/user/Documents/Testing/z3/node_modules/ref
gyp ERR! node -v v14.15.4
gyp ERR! node-gyp -v v5.1.0
gyp ERR! not ok 
npm WARN enoent ENOENT: no such file or directory, open '/home/user/Documents/Testing/z3/package.json'
npm WARN z3 No description
npm WARN z3 No repository field.
npm WARN z3 No README data
npm WARN z3 No license field.

npm ERR! code ELIFECYCLE
npm ERR! errno 1
npm ERR! [email protected] install: `node-gyp rebuild`
npm ERR! Exit status 1
npm ERR! 
npm ERR! Failed at the [email protected] install script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     /home/user/.npm/_logs/2021-02-27T14_08_03_105Z-debug.log

However, installing with node versions v10.23.2 and v8.17.0 finishes without an error but the installation is incomplete. The folder node_modules/z3javascript/bin/ only includes the following files:

libz3.so    z3_bindings_built.js  z3_bindings_ref.js       z3.json
package.js  z3_bindings_flat      z3_bindings_stripped.js

Context.js, Solver.js etc. are completely missing :(

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.