Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ESBMC output formatting and source code formatting #117

Merged
merged 5 commits into from
Apr 2, 2024
Merged

Add ESBMC output formatting and source code formatting #117

merged 5 commits into from
Apr 2, 2024

Commits on Mar 28, 2024

  1. esbmc_util: Added esbmc methods for getting information from the output

    @Yiannis128
    Yiannis128 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    e77b748 View commit details
    Browse the repository at this point in the history

  2. LoadingWidget: Fixed bug where disabling it would crash

    @Yiannis128
    Yiannis128 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    a50dd75 View commit details
    Browse the repository at this point in the history

  3. solution: Added apply_line_patch that replaces lines with patches in … 

    …source code
    @Yiannis128
    Yiannis128 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    e773087 View commit details
    Browse the repository at this point in the history

  4. Added to config extra fields: 

    * esbmc_output_type
* source_code_format
* fix_code_max_attempts
    @Yiannis128
    Yiannis128 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    7baacba View commit details
    Browse the repository at this point in the history

  5. Added esbmc_output_type and source_code_format to the program. Along … 

    …with tests
    @Yiannis128
    Yiannis128 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    35403da View commit details
    Browse the repository at this point in the history