Comments (5)
Hi @kaci2002,
Thank you for reaching out. I do not believe that anyone in the team has tried FRET on CentOS. I haven't, so I am not sure how well the tool is supported in that particular distribution.
Regardless, I would still like to try and replicate your issue. For that, I will need more information.
- Please specify the exact version of CentOS you are using.
- Please describe exactly the actions that you take, that lead to the application crashing, starting from booting up FRET.
- Have you created any projects in FRET? Any requirements in these projects? Have you used the "Variable Mapping" tab to any extent? If the answer is "yes" to any of these questions, please provide me with the corresponding information. For the requirements, please try to provide a minimal set that is still causing the issue.
Best Regards,
Andreas
from fret.
Hi Andreas,
The version of CentOS is 7.9.2009.
These pictures show the actions I take that lead to the appilcation crashing.
I have imported the project in $PATH_TO_FRET/fret/tutorialExamples/FRETDemo.json.
The "Variable Mapping" tab can be used normally but I hacen't used it.
Thanks.
kaci2002
from fret.
Hi @kaci2002 ,
I went ahead and installed FRET (current version of our master
branch) on a Centos 7.9.2009 VM image. Unfortunately, I have not been able to replicate your issue. Importing the file and following the action steps in your screenshots did not lead to a crash on my copy.
This looks like an isolated issue, depending on something else that you may have changed while interacting with the tool. Here are some more questions:
- Are you using the latest version of
master
? - Have you maybe modified any of the requirements in the "Demo-FSM" project, in any way?
- Since you are trying to use realizability, I suppose that you've tried to install the dependencies that are needed for it. If so, which ones have you installed? Did you add them to your PATH environment variable? When calling the tools from the command line, what is their output?
The only other thing I could suggest is maybe trying to run FRET in developer mode by running npm run dev
instead of npm start
. Then, repeat the offending actions and see whether any error messages pop up in the Console Tab under the developer tools window (which should appear to the right of the main FRET window when running in developer mode). If you see any, please forward them to us.
Best Regards,
Andreas
from fret.
Hi @kaci2002,
Have you been able to solve your issue with your CentOS installation?
Best Regards,
Andreas
from fret.
Hi @kaci2002 ,
I am closing this issue, since I have not received any further updates on your behalf. If you do, feel free to add a new comment to this thread.
Best Regards,
Andreas
from fret.
Related Issues (20)
- Difference between 'at the next time point' and 'for 1 time unit' HOT 4
- How to understand the result of diagnose? HOT 16
- Unsuccessful Installation HOT 3
- Error "incompatible architecture (have (x86_64), need (arm64e))" trying to start FRET on an M1 machine HOT 3
- Export requirements status field in json format HOT 4
- Electron GPU initialization fails on Ubuntu 22.04 HOT 6
- could not install fret HOT 5
- Broken link in docs HOT 2
- Error on Install: regex.h no such file or directory HOT 3
- Installation on Mac M1 Monterey throwing webpack/native dependency errors HOT 8
- Bug: All Caps "Immediately" keyword causes blank screen HOT 4
- Unable to run executable built with Docker on Ubuntu 22.04 HOT 2
- Requirement Description Text Box Stops Various Keys (and highlighting) from Working HOT 4
- Trailing bit of requirement after a colon HOT 2
- Search Bar Doesn't Respond to Enter Key HOT 3
- I get this error when I run npm start HOT 9
- Templates Lack Syntax Highlighting and Structure Uneditable HOT 2
- pmLTL and fmLTL don't seem to be equivalent HOT 3
- Docker build issue for v2.9.0 - import error HOT 4
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 fret.