The engines' license¶
Simulating a circuit needs no license. Verify and MC/DC tests run the engines of intrepid, the model checker inside intrepyd, and those run under a license.
The license you have¶
intrepyd comes with a noncommercial license: you can verify and generate tests for personal, academic and other noncommercial use. For work in a company, a commercial license is needed.
The license in use is always in the status bar: a noncommercial one is marked, and said once, the first time the editors start under it; a missing or expired one is in the error colour. A click on it shows what the license is and allows, where it was found, and the licenses passed over.
Getting a license¶
Ask for a license (in VS Code the command Intrepid: Ask for a License; in the studio, from the license in the status bar) asks a few questions, then opens an email to license@intrepid-studio.eu in your mail program, with what is needed to issue the license: the versions and the license in use. The editors send nothing themselves.
Using the license you received¶
The license is a file, license.json.
Intrepid: Choose License File…, or set intrepyd.licenseFile to
its path (Settings).
A click on the license in the status bar, then Use a license file…:
the studio checks it, saves it as your license, and uses it from the
next run on, with no restart. intrepid-studio --license FILE gives one
for a session.
Where intrepyd looks for a license, in this order: the file given to the
editor, the INTREPID_LICENSE environment variable, then your license
file, ~/.intrepid/license.json (on Windows,
%APPDATA%\intrepid\license.json), and last the noncommercial license of
intrepyd.
Without a valid license, Verify and MC/DC tests say why, with Ask for a License and Choose License File… at hand. A license about to expire is said at the first run of a session.