Merge pull request #1140 from versokova/termincrafted

dbeyer · web-flow · commit d87f97ebcf3a · 2020-10-21T08:50:26.000+02:00
change MemSafety sub-categories #841
diff --git a/c/MemSafety-Arrays.set b/c/MemSafety-Arrays.set
@@ -2,6 +2,9 @@
 array-memsafety/*.yml
 array-examples/*.yml
 array-memsafety-realloc/*.yml
+termination-crafted/Arrays*.yml
+termination-crafted/LexIndexValue*.yml
+termination-crafted/NonTermination3-1.yml
 verifythis/duplets.yml
 verifythis/elimination_max.yml
 verifythis/lcp.yml
diff --git a/c/MemSafety-Other.set b/c/MemSafety-Other.set
@@ -7,3 +7,5 @@ locks/*.yml
 memsafety-ext3/*.yml
 pthread-memsafety/*.yml
 memsafety-bftpd/*.yml
+termination-crafted/4BitCounterPointer.yml
+termination-crafted/SyntaxSupportPointer*.yml
diff --git a/c/MemSafety-TerminCrafted.set b/c/MemSafety-TerminCrafted.set
