kframework / matching-logic-prover

15 stars 4 forks source link

Remove Global Environment. #57

Open nishantjr opened 4 years ago

nishantjr commented 4 years ago

This simplifies some code, and is a first step towards extending the unit-testing framework to testing strategies (or at least parts of strategies)