mix spex (spex v0.1.0)

Mix task that checks saved implementation models for bisimilarity.

This is the offline verification entry point for .spex model files.

Summary

run(args)

Runs Spex bisimilarity checks for all loaded implementation models.

Runs Spex bisimilarity checks for all loaded implementation models.

Accepts either no arguments (uses configured :impl_models_dir) or one path argument to a directory or file containing .spex models.