problem reading files that are written using pyramify

mbeddr / language_verification

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

Other

1 stars 0 forks source link

Closed levilucio closed 8 years ago

levilucio commented 8 years ago

Run the transformation verification command on a transformation
The prover will get stuck trying to read the files generated by pyramify
It goes through if the toplevel.py script is called repeatedly for each generated file
We don't want to do that...

BentleyJOakes commented 8 years ago

Fixed by recent commit in prover code.