program k_invoke_verifier; -- small program to invoke logic verifierdiscussed in connection with the server-based version of AetnaNova/Referee (see [Click]), one must launch a program of the form exemplified by
program test; -- small program to invoke logic verifier
use verifier_top_level; -- use the logic verifier
verifier_invoker("1..100"); -- master invocation routine:
-- give the range string that would have been used in web invocation
end test;
It will be clear to the invoked routine "verifier_invoker" that, since a range is given directly (instead of an indication
of the user's folder from which the scenario must be uploaded), the files composing the scenario (either "common_scenario.txt" alone,
or "common_scenario.txt" conjoined with "supp_scenario.txt",
as explained in [Click]). Inside SETL, this situation will reflect into the fact that
the global variable
running_on_server
(declared and initialized within the package "logic_parser_globals") will be set to false instead of to true.
*** NOTE *** The name of the folder which, inside the file system, hosts the two pieces of the scenario needed for a standalone run appears explicitly within the code of the SETL procedure "verifier_invoker". In order to change it, one must hence intervene manually on the package "verifier_top_level", and then recompile this package (on which, luckily, no other packages rely).