Skip to content

Commit 2cf53a2

Browse files
committed
skip this file that currently times out inconsistently between z3 and cvc5
1 parent 22f1c59 commit 2cf53a2

1 file changed

File tree

src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c renamed to src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c.skip

File renamed without changes.

0 commit comments

Comments
 (0)