3149 improve fv code quality (!24) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

Sudeep Kanav requested to merge 3149-ImproveFVCodeQuality into master Jun 04, 2018

Improvement in code quality of the formal verification related code.

Code reviewed. Please merge the branch in master.