Skip to content

Commit 2c70604

Browse files
committed
Remove ait test that part-duplicates ai_selective_domains.cpp
This clashed with it by virtue of defining a class with the same name but not quite matching semantics, which led to cross-linking when generating the unit test binary.
1 parent 5ed5021 commit 2c70604

File tree

1 file changed

+0
-297
lines changed

1 file changed

+0
-297
lines changed

cbmc/unit/analyses/ai/ai.cpp

-297
This file was deleted.

0 commit comments

Comments
 (0)