command check_query

schema s1 : t
schema s2 : t
constraints c1 : s1
constraints c2 : s2
query q : s1 -> s2
----------------------------------
command (check_query q c1 c2)
	
Checks if a query from s1 to s2 with constraints c1 on s1 to c2 on s2 is valid.

Appears in:


Options:

always_reload
num_threads
talg_reduction
timeout