mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
add destination to custom command
This commit is contained in:
parent
a164087384
commit
a72856111b
|
@ -166,9 +166,7 @@ stages:
|
|||
displayName: 'NuGet Pack Symbols'
|
||||
inputs:
|
||||
command: custom
|
||||
arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out'
|
||||
packDestination: $(Build.ArtifactStagingDirectory)
|
||||
verbosityPack: detailed
|
||||
arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out'
|
||||
|
||||
- job: Python
|
||||
displayName: "Python packaging"
|
||||
|
|
|
@ -1478,16 +1478,15 @@ lbool core::check(vector<lemma>& l_vec) {
|
|||
if (l_vec.empty() && !done() && need_run_horner())
|
||||
m_horner.horner_lemmas();
|
||||
|
||||
if (l_vec.empty() && !done() && need_run_grobner()) {
|
||||
if (l_vec.empty() && !done() && need_run_grobner())
|
||||
run_grobner();
|
||||
}
|
||||
|
||||
if (l_vec.empty() && !done())
|
||||
m_basics.basic_lemma(true);
|
||||
|
||||
if (l_vec.empty() && !done())
|
||||
m_basics.basic_lemma(false);
|
||||
|
||||
|
||||
if (l_vec.empty() && !done())
|
||||
m_order.order_lemma();
|
||||
|
||||
|
|
|
@ -66,7 +66,8 @@ void order::order_lemma_on_binomial(const monic& ac) {
|
|||
order_lemma_on_binomial_sign(ac, ac.vars()[k], ac.vars()[!k], gt? 1: -1);
|
||||
order_lemma_on_factor_binomial_explore(ac, k);
|
||||
k = !k;
|
||||
} while (k);
|
||||
}
|
||||
while (k);
|
||||
}
|
||||
|
||||
|
||||
|
@ -101,9 +102,8 @@ void order::order_lemma_on_factor_binomial_explore(const monic& ac, bool k) {
|
|||
continue;
|
||||
TRACE("nla_solver", tout << "bd = " << pp_mon_with_vars(_(), bd););
|
||||
order_lemma_on_factor_binomial_rm(ac, k, bd);
|
||||
if (done()) {
|
||||
if (done())
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue