sidekick icon indicating copy to clipboard operation
sidekick copied to clipboard

Published 20 hours ago • verified publisher icon c-cube

support named terms in input

Open c-cube opened this issue 4 years ago • 0 comments 

[31;1mError[0m: internal error: at file '/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt834303034702425531.smt2': line 15, col 0 to line 16, col 22:
unsupported term (! circuit :named hyp1)

on QF_UF/20170829-Rodin/smt834303034702425531.smt2

c-cube avatar Aug 03 '20 15:08 c-cube