Open Frama-99 opened 4 years ago
Frontend GUI will save arguments passed to the python backend in a json file, and the backend need to be able to read that file and load the arguments passed.
Also ability of reading framerate from json file and convert frame to time
Frontend GUI will save arguments passed to the python backend in a json file, and the backend need to be able to read that file and load the arguments passed.