Context Navigation

OpenTrusting

-                      v3
+                      v4
 {{{mode [prod/test/continue/check]}}}
+        {{{prod}}}: launches standard trusting;
+        {{{prod}}}: launches standard trusting;
         {{{test}}}: allows a 5-minute break before the model extraction to be able to modify revisions specified in mod.def. Also sleeps for 5 minutes before compilation, if any source code modifications are needed.
         {{{continue}}}: continues by launching experiments in a previous trusting, see more information below;
         {{{check}}}: just performs a check of the last trusting you ran.