This repository has been archived by the owner on Feb 20, 2024. It is now read-only.

proper paths for verification config model instead of strings #31

Open

levilucio opened this issue Nov 3, 2016 · 0 comments

Labels

Collaborator

levilucio commented Nov 3, 2016

Go to the DSLTransVerif plugin model
Open the config folder and the configuration file
paths are now given as strings, they should be given as proper MPS path nodes. This needs to be changed in the config language

levilucio added enhancement and removed enhancement labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.