bring AutFN up to date with PropertyT

This commit is contained in:
kalmar 2017-04-10 20:01:56 +02:00
parent 216a886488
commit c090f1d3c5

View File

@ -150,6 +150,8 @@ function ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord})
return Δ, sdp_constraints
end
ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord}, r::Int) = ΔandSDPconstraints(identity, S)
const symbols = [FGSymbol("x₁",1), FGSymbol("x₂",1), FGSymbol("x₃",1), FGSymbol("x₄",1), FGSymbol("x₅",1), FGSymbol("x₆",1)]
const TOL=1e-8
@ -225,7 +227,7 @@ function main()
end
Blas.set_num_threads(parsed_args["cpus"])
end
@time PropertyT.check_property_T(name, S, solver, upper_bound, tol)
@time PropertyT.check_property_T(name, S, solver, upper_bound, tol, 2)
return 0
end