Skip to content

Commit ab26f9d

Browse files
tautschnigtautschnig
committed
TRY
1 parent 94d2e79 commit ab26f9d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎regression/cbmc/Quantifiers-type2/unsigned-char.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
KNOWNBUG
1+
CORE
22
unsigned-char.c
33

44
^\*\* Results:$

0 commit comments

Comments
 (0)