Comments (4)
@KillianBabilotte are your sure that is not a problem of LD_LIBRARY_PATH? Because I can't reproduce your bug. Moreover, the message of dlopen
is a warning and not an error.
from verificarlo.
I'm not sure about the problem cause because it disappear on the following executions and I can't reproduce it either. But between the failed execution and the succeed one, I changed absolutely nothing, I only rebooted my machine. So I kept the Issue opened because I found it even more strange. I called it a failure because it is the return output in the terminal in the list of test execution by command make installcheck.
from verificarlo.
from verificarlo.
Ok let's close this. Feel free to reopen if the bug resurfaces.
from verificarlo.
Related Issues (20)
- Commit 3e6bd62751939bb22ff160ef401b35ce9e49b029 doesn't build HOT 4
- Suggestion for requirements.txt
- Docker build is broken HOT 7
- In trouble with python-git HOT 2
- Release v0.4.3? HOT 2
- Compiling with LLVM-7 and gcc-9 on ubuntu 20.04 HOT 2
- Sources of Performance Improvement HOT 4
- Compilation Flow HOT 2
- IEEE backend is not reentrant
- After 88dfc7a, test_sparsity fails HOT 3
- To use verificarlo_home variable instead of relative path in Makefile.am
- LLVM can't compile the tests HOT 10
- problem of undefined symbol HOT 5
- Invalid constant provided for binary32 precision check
- Invalid constant provided for binary64 precision check
- Support for aarch64 / arm64 HOT 9
- Support LLVM 15.0.6 (Ubuntu 22.04 tests) HOT 19
- FMA and reduce operation support HOT 2
- Hasmap from funcinstr is not threadsafe
- Verificarlo logger reports `seed = 0` when seed is not fixed
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from verificarlo.