Skip to content

Commit

Permalink
Fixed z3 dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
@csanadtelbisz
csanadtelbisz authored Sep 10, 2023
1 parent 9b4a0ef commit be9444c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/LoopUnrollPass.kt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ import hu.bme.mit.theta.core.model.ImmutableValuation
import hu.bme.mit.theta.core.stmt.AssumeStmt
import hu.bme.mit.theta.core.stmt.Stmt
import hu.bme.mit.theta.solver.Solver
import hu.bme.mit.theta.solver.SolverManager
import hu.bme.mit.theta.solver.z3.Z3SolverFactory
import hu.bme.mit.theta.xcfa.collectVars
import hu.bme.mit.theta.xcfa.collectVarsWithAccessType
import hu.bme.mit.theta.xcfa.getFlatLabels
Expand Down

0 comments on commit be9444c

Please sign in to comment.