Merge pull request #4979 from smowton/smowton/admin/disable-broken-test

Disable test snapshot-harness/dynamic-array-int

Author: smowton

regression/snapshot-harness/dynamic-array-int/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 array,iterator1,iterator2,iterator3 --harness-type initialise-with-memory-snapshot --initial-goto-location main:4
 ^EXIT=10$
@@ -14,3 +14,5 @@ array,iterator1,iterator2,iterator3 --harness-type initialise-with-memory-snapsh
 VERIFICATION FAILED
 --
 unwinding assertion loop \d+: FAILURE
+--
+Broken by https://github.com/diffblue/cbmc/issues/4978