fix ass2

bjjwwang · bjjwwang · commit 762e986c28c5 · 2024-07-01T16:33:14.000+10:00
diff --git a/Assignment-2/Assignment-2.h b/Assignment-2/Assignment-2.h
@@ -75,6 +75,7 @@ namespace SVF {
 		/// reset z3 solver
 		virtual void resetSolver() {
 			getSolver().reset();
+			callingCtx.clear();
 		}
 
 		/// TODO: Implementing the collection the ICFG paths

Original file line number	Diff line number	Diff line change
`@@ -75,6 +75,7 @@ namespace SVF {`
`75`	`75`	`/// reset z3 solver`
`76`	`76`	`virtual void resetSolver() {`
`77`	`77`	`getSolver().reset();`
	`78`	`+ callingCtx.clear();`
`78`	`79`	`}`
`79`	`80`
`80`	`81`	`/// TODO: Implementing the collection the ICFG paths`