Develop a test plan to handle pull requests

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

24 stars 16 forks source link

Develop a test plan to handle pull requests #447

Open M-Sitaraman opened 3 months ago

M-Sitaraman commented 3 months ago

To ensure changes don't break existing code base, develop a plan involving various types of units. Consider verification extensively for the first versio because that's the focus of current changes with minimal compiler checking.

yushan87 commented 3 months ago

@M-Sitaraman I have a simple one that is currently disabled. Can work on getting that back online next.