I've seen videos showing how automagically IDE starts in clear, init state, i.e., no need to specify a .tla or .cfg file as opposite running the CLI tools.
But nowhere says how to launch the IDE
I've installed everything the latest on Ubuntu, installing in default paths:
sudo cp cvc4-1.8-x86_64-linux-opt /usr/local/lib/tlaps/cvc4
But all my attempts to run
java -XX:+UseParallelGC -jar ./tla2tools.jar tlasany.SANY
or tlc.TLC or whatever else asks for a .tla and a .cfg
I know I need to read a chapter of Specifying Systems to learn how to create a .cfg, I have a .tla file but fails (maybe some syntax failure)
I'm not asking about how to fix my first .tla file
I just want to know how to launch the IDE, clean state i.e., without a preexisting tla file.
they show that starting IDE without preexisting file is possible, but how?
I think should be
java -XX:+UseParallelGC -jar ./tla2tools.jar <something_here>
but exactly what, I don't know