[fix]

misonijnik · misonijnik · commit 225bf3e9db8c · 2023-10-28T19:17:30.000+04:00
diff --git a/test/Solver/CexCacheValidityCoresCheck.c b/test/Solver/CexCacheValidityCoresCheck.c
@@ -30,6 +30,6 @@ int main(int argc, char **argv) {
   }
 }
 // CHECK-CACHE-ON: QCexCacheHits,SolverQueries
-// CHECK-CACHE-ON: 1559,211
+// CHECK-CACHE-ON: 1460,202
 // CHECK-CACHE-OFF: QCexCacheHits,SolverQueries
-// CHECK-CACHE-OFF: 1109,661
+// CHECK-CACHE-OFF: 1010,652

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,6 @@ int main(int argc, char **argv) {`
`30`	`30`	`}`
`31`	`31`	`}`
`32`	`32`	`// CHECK-CACHE-ON: QCexCacheHits,SolverQueries`
`33`		`-// CHECK-CACHE-ON: 1559,211`
	`33`	`+// CHECK-CACHE-ON: 1460,202`
`34`	`34`	`// CHECK-CACHE-OFF: QCexCacheHits,SolverQueries`
`35`		`-// CHECK-CACHE-OFF: 1109,661`
	`35`	`+// CHECK-CACHE-OFF: 1010,652`