tree 76de588ea0fc71824bf4492a010c9cd8bac8a470
parent df135f072c87eebd64c9eb10ca1d0835b572115f
author Cindy Chen <chencindy@google.com> 1586462519 -0700
committer cindychip <cindy.chen0316@gmail.com> 1586535471 -0700

[formal] support VC Formal in FPV bash script

Add a switch in fpv and fpv_all to run formal using VC Formal

Signed-off-by: Cindy Chen <chencindy@google.com>