Modified regression tests to run in process, added test cases for parametric test

[ChristineZh0u]

• Changed regression tests from out of process runs to in process run to support regression test for the new parametric test generation feature.
• Added test case for parametric test.
  • To test the right combination of tests are generated, add a "ExpectedParametricTests.txt" file in the same directory as the ".p" file.
  • To test the correctness of the .p program, make sure the test only generates one test case.

[ankushdesai]

I thought we have moved and merged param_tests into the major 3.0 branch already. Can you please create a PR into that branch?

[ChristineZh0u]

I thought we have moved and merged param_tests into the major 3.0 branch already. Can you please create a PR into that branch?

Just checked the main 3.0 branch — the param_tests branch hasn’t been merged in yet. I can create a pull request to merge current branch directly into major-3.0, but it’s probably better to merge it into param_tests first, and then merge param_tests into major-3.0.