search

termite2 / Termite

The Termite driver synthesis tool
30 stars 7 forks source link

Error nodeRange #17

Closed alarreine closed 7 years ago

alarreine commented 7 years ago

Hi, I'm trying to run Termite, but I get this error when it try to run the debugger.

termite -i main.tsl -s
* Promoting: 
    dev:output
* Promoting: 
    os:making_request
Winning: Early termination
Begin benchmarking stats
# state preds: 5
# untracked preds: 0
# label preds: 5
# nodes in winning bdd under: 16
# nodes in winning bdd over: 16
# nodes at peak: 5110
# consistency refinements: 0
# state refinements: 2
* Computing strategy
Concrete variables used in the final abstraction: state variables: 5(6bits), label variables: 5(14bits)
Synthesis returned Just True
starting debugger
termite: nodeRange of empty graph
ryzhyk commented 7 years ago

I pushed an untested fix to lib/debug. Can you please verify that it works?

alarreine commented 7 years ago

It works perfectly. Thank you