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).