The idea is to evaluate to refactor code in analyze_smart_contract and initialiaze_smart_contract (and possibly any related code working with eval, and execution timer) around a cancellation token concept.
Some food for thought has been shared in this comment #7349 (comment), when introducing the time tracker for contract analysis.
The idea is to evaluate to refactor code in
analyze_smart_contractandinitialiaze_smart_contract(and possibly any related code working with eval, and execution timer) around a cancellation token concept.Some food for thought has been shared in this comment #7349 (comment), when introducing the time tracker for contract analysis.