Comments (7)
The path on macOS always contains white spaces and Silicon & Carbon work fine there. It's however correct that the path is not correctly escaped in the log output (each command argument is a string and they simply get concatenated).
About 3 weeks ago, I've extended the logging slightly and when you get the "... resulted in an exception" error, ViperServer should have entered this branch here, which also prints the stack trace (in a somewhat ugly way).
Could you please check whether you get this additional output (first switch to the Nightly build channel and then update the ViperTools) and what it says?
from viperserver.
@alexanderjsummers It would be great if you could have a look at the logged stack trace so we can figure out if this is a blocker for the release or not.
from viperserver.
Thanks for the help! I looked into it some more and it seems I was just unlucky in that the examples I was trying illustrated a different problem (an actual crash in Carbon). I think this is unrelated to the paths (it would be nice to print those differently I guess, but that seems like a minor improvement). I'll close this issue and open others :)
from viperserver.
By the way @ArquintL I am on Nightly with the latest tools, I believe - unfortunately I don't see the stack trace. Should that show up in the "Viper Server" output?
from viperserver.
Great, thanks!
from viperserver.
No problem - thanks for pinging. From my perspective the new issues aren't blocking (and also aren't new in this release, as far as I know).
from viperserver.
By the way @ArquintL I am on Nightly with the latest tools, I believe - unfortunately I don't see the stack trace. Should that show up in the "Viper Server" output?
Yes, 3-5 lines above the line stating that the command resulted in an exception. It could be that you've missed the stack trace because it's printed in a funny way: We print each stack trace entry as a line consisting of the class and method name and the line number
from viperserver.
Related Issues (20)
- Minor: change exception reports to include runnable commands/quoted paths
- Cache does not seem to be initialized HOT 2
- Streaming messages from ViperCoreServer HOT 8
- VerificationWorker should add option --ignoreFile before calling method prepare of SilFrontend HOT 1
- Plugin input with `--plugin` in `customArguments` does not work
- Cannot find file HOT 3
- Some plugin interactions seem to be broken in ViperServer HOT 1
- Move code computing program statistics to Silver. HOT 1
- Minimal ViperConfig for ViperCoreServer
- Termination plugin can cause verification progress to exceed 100% HOT 3
- Wrong error reported when cached HOT 1
- Some regression tests are halting HOT 3
- Class path contains multiple SLF4J bindings HOT 10
- Revisit the CI HOT 2
- Port Viper IDE to the LSP frontend of ViperServer
- Review the implementation of MessageStreamingTask.enqueueMessage HOT 1
- CI Failure with JDK 15 HOT 2
- Caching swallows counterexamples
- Domain Ordering
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 viperserver.