Mentions légales du service

Skip to content

Resolve "Multiple scenarios for abs2gal reach"

Maxime Audinot requested to merge 152-multiple-scenarios into master

Handles when GAL returns multiple witnesses.

cf #152 (closed)

Edited by Maxime Audinot

Merge request reports