Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • add-u24
  • add_arm32_eh
  • 21-job-failed-248429
  • testCapstoneFix
  • debug_palignr
  • newStars
  • fix-calls-fix
  • 19-need-ubuntu22-support
  • bugfixes
  • intentionally_broken_build
  • unpin_type4
  • rida_speedup
  • SRL_kernelModules
  • SRL-Windows
  • 13-keystone-should-return-an-error-when-assembling-instruction
  • ZS-91-opensrc-zipr
  • libkeystone-integrate
  • aware-sw-delivery
  • copyright-headers
  • gt_eval
  • Release-2-26-2021
  • cfar-phase3-final
  • CFAR_AEI
  • CfarJuly2018Eval
  • pre-las-vegas
26 results
Search by author
  • Any Author
  • Anh Nguyen-Tuong Anh Nguyen-Tuong an7s
  • Bruno Dutertre Bruno Dutertre bruno
  • Chris Timperley Chris Timperley ChrisTimps
  • Clark Coleman Clark Coleman clc
  • Daniel Chen Daniel Chen dc3pe
  • GitLab Runner GitLab Runner gitlab-runner
  • Jack Davidson Jack Davidson jwd
  • Jason Hiser Jason Hiser jdh8d
  • Jessica Jones Jessica Jones Jjones203
  • Jonathan Rowanhill Jonathan Rowanhill jonathan.rowanhill
  • Jorge Navas Jorge Navas jorge.navas
  • Matthew McGill Matthew McGill mm8bx
  • Michele Co Michele Co mc2zk
  • Stefan Nagy Stefan Nagy stevenagy
  • Will Hawkins Will Hawkins whh8b
  • Yonghwi Kwon Yonghwi Kwon yonghwi
  • zafl_guest zafl_guest test_user
17 authors
  1. May 10, 2013
  3. May 09, 2013
  5. May 07, 2013
  7. May 02, 2013
  9. Apr 30, 2013
  11. Apr 25, 2013
  13. 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
  15. Apr 18, 2013
  17. Apr 11, 2013
  19. Apr 10, 2013
  21. Apr 07, 2013
  23. Apr 05, 2013
  25. Apr 04, 2013
  27. 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
  29. Mar 26, 2013
  31. Mar 19, 2013
  33. Mar 15, 2013
  35. Mar 08, 2013
  37. Feb 28, 2013
  39. Feb 22, 2013
  41. Feb 18, 2013
  43. Feb 15, 2013
  45. Jan 04, 2013
  47. Dec 18, 2012
  49. Dec 06, 2012