Compile error file for KLEE #645

Closed

Assignees

Labels

opened

on Sep 21, 2023

For function with void* ctx argument

UTBotCpp generate

__attribute__ ((aligned(1404 unsigned char ctx;

Metadata

Assignees

ladisgin

Labels

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests