proper paths for verification config model instead of strings

mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.

Other

1 stars 0 forks source link

Open levilucio opened 7 years ago

levilucio commented 7 years ago

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