Add tool-info modules for MoXI model checkers#1133

Merged

PhilippWendler merged 8 commits intososy-lab:mainfrom Po-Chun-Chien:add-moxi-tools

Dec 6, 2024

+102

Commits on Jul 12, 2024

Commits on Jul 14, 2024

Reorder command-line arguments for MoXI-MC-Flow
Po-Chun-Chien
committed

Commits on Jul 16, 2024

Add 5% more runtime to MoXI-MC-Flow's time-limit option
Po-Chun-Chien
committed

Commits on Dec 4, 2024

Add lib/ to MoXIchecker's required paths
Po-Chun-Chien
committed

Commits on Dec 5, 2024

Refine the collections of required program files for MoXI model checkers
Po-Chun-Chien
committed
Increase the timeout value passed to MoXI-MC-Flow and add explanation as comments
Po-Chun-Chien
committed
Remove an unused import
Po-Chun-Chien
committed