#!/bin/bash -l

conda run -n CentralizedVerification python lib/slugs/tools/StructuredSlugsParser/compiler.py "$1".structuredslugs > "$1".slugsin
lib/slugs/src/slugs --explicitStrategy --jsonOutput "$1".slugsin > "$1".json

conda run -n CentralizedVerificationPython2 python lib/from_ingy/Control_Parser.py "$1"

conda run -n CentralizedVerification python centralized_verification/shields/slugs_shielding/combine_identical_states.py "$1"
