Not support anonymous union in struct #317#391

Merged

alexey-utkin merged 7 commits intomainfrom

alexey-utkin/unnamedUnion

Aug 24, 2022

Commits on Aug 22, 2022

Not support anonymous union in struct #317
alexey-utkin
committed

Commits on Aug 23, 2022

Commits on Aug 24, 2022

Switch to ubuntu-latest

Vladislav Kalugin
authored and
alexey-utkin
committed
Switch to klee 2.3, increase timeout for sort_list tests

Vladislav Kalugin
authored and
alexey-utkin
committed
Increase timelimits

ladisgin
authored and
alexey-utkin
committed
Not support anonymous union in struct #317
alexey-utkin
committed