This commit is contained in:
parent
1efd11e266
commit
b3c3557c33
12 changed files with 105 additions and 84 deletions
|
|
@ -1,6 +1,5 @@
|
|||
discard """
|
||||
output: '''[1, 0, 0, 0, 0, 0, 0, 0]
|
||||
CTBool[Ct[system.uint32]]'''
|
||||
output: '''[1, 0, 0, 0, 0, 0, 0, 0] CTBool[Ct[system.uint32]]'''
|
||||
"""
|
||||
|
||||
block tconstraints:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue