Closed hugomflavio closed 5 years ago
Implies re-arranging the check functions currently running within actel so that they can act as stand-alone
The explore() function serves this purpose
Implies re-arranging the check functions currently running within actel so that they can act as stand-alone