-
Manuel Günther authored
Adapted output of reverse function to be compatible with new verification utils; added driver API functions for reverse and paths query functions.
df224864
Adapted output of reverse function to be compatible with new verification utils; added driver API functions for reverse and paths query functions.