aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/X_inv48.java
Commit message (Expand)AuthorAge
* Add Satellite Case Study to testing frameworkLibravatar ArenBabikian2020-05-11
* Fine Tune PLEDGE Case Study Project and Main MethodLibravatar ArenBabikian2020-05-11
* Fix PLEDGE Case Study FileLibravatar ArenBabikian2020-05-10