## Ref maintenance notes: Standalone version of Ref

Instead of launching one of the SETL mini_programs

    		program k_invoke_verifier;			-- small program to invoke logic verifier

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