Skip to content
Snippets Groups Projects
  1. Apr 30, 2013
  2. Apr 25, 2013
  3. Apr 24, 2013
    • bdr7fv's avatar
      For manual PN tests, I have now made it the policy a manual test script must... · 2199936c
      bdr7fv authored
      For manual PN tests, I have now made it the policy a manual test script must be supplied the transformed program AND the original. This requires alterations to bed_blackbox.sh and manual_coverage_wrapper.sh. The intent is to make my coreutil manual tests easier to automate and maintain.
      
      
      
      Former-commit-id: 57e188ef92e7b735dd02bc72303e8f5df50ab97d
      2199936c
    • bdr7fv's avatar
      Added manual_coverage_wrapper.sh, to allow for generating coverage for manual... · a72f97d1
      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
      a72f97d1
  4. Apr 18, 2013
  5. Apr 11, 2013
  6. Apr 10, 2013
  7. Apr 07, 2013
  8. Apr 05, 2013
  9. Apr 04, 2013
  10. Apr 03, 2013
    • bdr7fv's avatar
      Altered do_p1transform.sh to check for behavior divergence in two consecutive... · d20e03fb
      bdr7fv authored
      Altered do_p1transform.sh to check for behavior divergence in two consecutive runs of the baseline program. If a divergence is detected, the -r option is used with the replayer to generate a new baseline. If a divergence is detected still, the input is ignored. 
      
      
      
      Former-commit-id: ab4fda7bfa9c42f700d3c278aece90ea0fd008f5
      d20e03fb
  11. Mar 26, 2013
  12. Mar 19, 2013
  13. Mar 15, 2013
  14. Mar 08, 2013
  15. Feb 28, 2013
  16. Feb 22, 2013
  17. Feb 18, 2013
  18. Feb 15, 2013
  19. Jan 04, 2013
  20. Dec 18, 2012
  21. Dec 06, 2012
    • jdh8d's avatar
      Copied files to examples_and_tests module · 97028341
      jdh8d authored
      Former-commit-id: 07f1034b222979a9e389c79368ea13825bf8fce4
      97028341
    • jdh8d's avatar
      moving tests · feab8bf6
      jdh8d authored
      Former-commit-id: b1fdebd2b4c3fe5cfb5a3c611d07ca1410880828
      feab8bf6
    • jdh8d's avatar
      moving tests · 7883f237
      jdh8d authored
      Former-commit-id: 990df3f3a38fc1bef9065a293c38b2a0d0511368
      7883f237
    • jdh8d's avatar
      moving tests · 3e80242c
      jdh8d authored
      Former-commit-id: 5c7616f475d8fc9fcec8696696fa1e6b55e4f723
      3e80242c
    • jdh8d's avatar
      moving tests · db4391f3
      jdh8d authored
      Former-commit-id: 362e3af022a5878c18da58c872616acf24dd8787
      db4391f3
  22. Dec 05, 2012
Loading