esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard

Published 20 hours ago • verified publisher icon esbmc

[C operational models] improved efficiency of strcmp

Open lucasccordeiro opened this issue 1 year ago • 1 comments

lucasccordeiro avatar Feb 26 '24 07:02 lucasccordeiro

I have started an SV-COMP run of 300 seconds: https://github.com/esbmc/esbmc/actions/runs/8045287744

lucasccordeiro avatar Feb 26 '24 07:02 lucasccordeiro

This PR is obsolete.

lucasccordeiro avatar Jul 10 '24 15:07 lucasccordeiro