search

klee / klee-web

KLEE in the browser
Other
48 stars 15 forks source link

Added new testcases tab to results window. #199

Closed kt218 closed 1 year ago

kt218 commented 2 years ago

Added new testcase tab that allows users to view the memory objects KLEE produced within the ktest files. Added new processor "test_cases" to the pipeline. Added new controller for testcases and modified CSS/HTML to results body.

ccadar commented 2 years ago

@kt218 you should rebase this now.

ccadar commented 2 years ago

This LGTM. @andronat any comments?

ccadar commented 1 year ago

Thanks, @kt218. Can you also include a screenshot to quickly see how this looks like?

kt218 commented 1 year ago

@ccadar Here's a gif of the testcases functionality. klee_testcases

ccadar commented 1 year ago

Thanks, @kt218. It's hard to follow in detail how the test cases are displayed via the GIF, but overall it looks like a nice addition.

@andronat can you also take a look, merge and re-deploy the website when you can? Thanks!