fritzo / pomagma

An inference engine for extensional untyped λ-calculus
Other
17 stars 2 forks source link

Router produces routes that cannot be found #20

Open fritzo opened 9 years ago

fritzo commented 9 years ago

see https://github.com/fritzo/pomagma/blob/deterministic/src/theorist/conjecture_diverge.cpp#L46

fritzo commented 9 years ago
...
16171   1.59206     INFO    Routing all obs
16171   1.59207     DEBUG   finding best local routes
16171   1.59232     DEBUG   finding best local routes
16171   1.59255     DEBUG   finding best local routes
16171   1.59277     DEBUG   finding best local routes
16171   1.59299     DEBUG   scheduling route building
16171   1.59305     DEBUG   building full routes
16171   1.59336     INFO    Conjecturing divergent terms
16171   1.59337     DEBUG   collecting conjectures
16171   1.59338     DEBUG   sorting 54 conjectures
16171   1.59341     ERROR   route mismatch: APP COMP APP B CI B CB
    /home/fritz/fritzo/pomagma/src/theorist/conjecture_diverge.cpp : 53
    std::vector pomagma::detail::conjecture_diverge(pomagma::Structure&, const std::vector&, const std::vector >&, const char*)