Comments (2)
hopefully fixed with commit
5cf0d08
It is not tested yet
The error is, that our error testing expected gcc to run on english. If it didn't, our error parser wasn't able to find the errors.
Solution: We just set an environmental variable in such a way, that this one gcc call will return its output in english, no matter the language the user normally uses
from beast.
Seems to be fixed (at least for the example mentioned above).
from beast.
Related Issues (20)
- No double view of results in PropertyList HOT 1
- BooleanExpEditor not made visible on ButtonClick from PropertyList HOT 1
- PropertyList cannot be clicked right away from another window HOT 1
- Can't save files in BooleanExpEditor and CElectionDescriptionEditor HOT 1
- Seperate the folder in which the file for gcc to verify and the ones for cbmc to check get sent to HOT 1
- Editors can still be opened while a check is running HOT 1
- Crashes when trying to open booleanexplang helpfile when running programm from installed jar HOT 1
- Big in C Code generation for comparisons: lhs and rhs are swapped HOT 1
- Creating a new project HOT 1
- Unreachable code is not marked as error in the c-editor HOT 2
- Found a nullpointer exception in the ResultPresenter HOT 3
- Clean up election type HOT 1
- Nondeterministic variables are not available within the voting function
- Output type in elections for a parliament HOT 1
- Symbolic variables are declared multiple times when also used as bound variables in quantified expressions
- Text Editor can lock lines in which the user has written something already HOT 1
- Code generation error
- Ballot profile size adjustment stops working when reducing size
- HANDLE process = OpenProcess(PROCESS_TERMINATE, FALSE, pids);
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 beast.