xblahoud / ltlcross_wrapper

Python wrapper of ltlcross from Spot
MIT License
0 stars 1 forks source link

Rerun tool #7

Open xblahoud opened 4 years ago

xblahoud commented 4 years ago

Add function to rerun only results for a certain tool and keep the rest. The old results can be kept as well with a renamed tool.

We have most of the functionality ready (holds also for #6 (adding a tool)):

Again, it would be nice if could be invoked from Analyzer