- Mar 04, 2019
-
-
Jason Hiser authored
-
- Feb 19, 2019
-
-
Jason Hiser authored
Former-commit-id: 435548bb2b9367bb6952021f851e12d35c0d10a9 Former-commit-id: 2b0dad5a
-
- Jun 12, 2013
-
-
bdr7fv authored
Former-commit-id: c0f9d4d02cf5cc480c891645daa3bfd7f2c5b2cc
-
- Apr 24, 2013
-
-
bdr7fv authored
Added manual_coverage_wrapper.sh, to allow for generating coverage for manual tests, where the manual tests are performed based on a script. The current version requires pin be installed in a certain place with certain criteria, since PIN is not a part of the toolchain, talk to Ben if you plan on using this functionality. altered do_manual_cover.sh to support use of the new coverage generation script. This change only works if the user supplies a manual test script, if so, the script is used to generate test coverage using the manual_coverage_wrapper script. Former-commit-id: b6b90ef6618afe45e8cda3f4e6d4e2e3fc0a0cdd
-
- Oct 19, 2011
-
-
an7s authored
Former-commit-id: 082b200988d62548ecf10bc17fd74b2b55ec9e83
-
- Oct 12, 2011
-
-
an7s authored
Former-commit-id: 7f01f52063aef11cb6f2b6644743e8752151a67a
-
- Oct 11, 2011
-
-
an7s authored
Former-commit-id: 955c425ad0e3f6335c67b9e66f68845409174383
-