Comments (9)
Terminfo? Wouldn't that give information about terminal?
Correct, I think I meant the 'file' command, or maybe https://en.cppreference.com/w/cpp/filesystem/file_type or similar
from aaltitoad.
It's in the plugin_system.cpp
😄
from aaltitoad.
You may keep it at debug level actually, if a plugin is loaded, then a info level log would make sense.
from aaltitoad.
Terminfo? Wouldn't that give information about terminal?
from aaltitoad.
Which file is this function in?
from aaltitoad.
Which file is this function in?
Right, sorry. I was referring to the Linux file command 😄 I'm not sure if it is available on Windows though - and I'm also not sure which library it is part of 🤔
from aaltitoad.
I meant, which file is bool is_dynamic_library(const std::string& filename)
in?
from aaltitoad.
Maybe the check for is_dynamic_library
isn't required. If dlopen
fails, then it fails; instead of throwing a logic error, better to log a message "couldn't load file as shared/dynamic lib" and continue.
from aaltitoad.
So, just remove
? Yea, that probably works just fine 🤔I might also downgrade the warning log to an info level, just so you dont get weird warnings about being unable to load non-plugin files.
from aaltitoad.
Related Issues (18)
- Statespace explosion handling on Tock is semantically incorrect HOT 1
- Codebase is messy HOT 1
- Guards with parentheses that checks on interesting variables are not parsed properly HOT 1
- The tool always returns 0
- Feature: CLI option for fileignore HOT 1
- —output is doing nothing
- Project Naming Discussion HOT 3
- Readme compile instructions is wrong
- A G feature is still wrong HOT 1
- v1.0.0 reimplementation HOT 1
- Statistics to file / pipe
- Parsing of .parts files
- AG queries with counterexamples is doubly-inverted, which is confusing.
- linux: parsing suddenly stops
- CI for OSX and Windows
- Catch SIGTERM and handle it properly
- Build packages for distribution HOT 1
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 aaltitoad.