cbmc-cpp/Templates6 was fixed in 42efbd7

tautschnig · tautschnig · commit c9903395bd15 · 2021-04-01T19:23:53.000Z
42efbd7 adds proper handling of "this" in destructors.
diff --git a/regression/cbmc-cpp/Templates6/test.desc b/regression/cbmc-cpp/Templates6/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE winbug macos-assert-broken
 main.cpp
 
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG`
	`1`	`+CORE winbug macos-assert-broken`
`2`	`2`	`main.cpp`
`3`	`3`
`4`	`4`	`^EXIT=0$`