Skip to content

Clean variable-length array size expressions. Fixes verification-engine-utils#192 - #390

Merged
kroening merged 2 commits into
diffblue:masterfrom
smowton:clean_vla_size
Jan 17, 2017
Merged

Clean variable-length array size expressions. Fixes verification-engine-utils#192#390
kroening merged 2 commits into
diffblue:masterfrom
smowton:clean_vla_size

Add variable-length array trace test

edb6908
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs