yices2 on CI

StefanoDalMas · StefanoDalMas · commit 31a725a563b8 · 2025-04-11T09:04:58.000+02:00
Signed-off-by: StefanoDalMas &lt;stefano.dal.mas@huawei.com&gt;
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/asm/armv8/progress64/AsmProgress64Armv8Test.java b/dartagnan/src/test/java/com/dat3m/dartagnan/asm/armv8/progress64/AsmProgress64Armv8Test.java
@@ -70,7 +70,7 @@ private SolverContext mkCtx() throws InvalidConfigurationException {
                 cfg,
                 BasicLogManager.create(cfg),
                 ShutdownManager.create().getNotifier(),
-                SolverContextFactory.Solvers.Z3);
+                SolverContextFactory.Solvers.YICES2);
     }
 
     private ProverWithTracker mkProver(SolverContext ctx) {

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ private SolverContext mkCtx() throws InvalidConfigurationException {`
`70`	`70`	`cfg,`
`71`	`71`	`BasicLogManager.create(cfg),`
`72`	`72`	`ShutdownManager.create().getNotifier(),`
`73`		`- SolverContextFactory.Solvers.Z3);`
	`73`	`+ SolverContextFactory.Solvers.YICES2);`
`74`	`74`	`}`
`75`	`75`
`76`	`76`	`private ProverWithTracker mkProver(SolverContext ctx) {`