Verific frontend: fix top_bound/bottom_bound attributes
#619
| Job | Run time |
|---|---|
| 4s | |
| 1m 53s | |
| 1m 57s |
top_bound/bottom_bound attributes
#619
| Job | Run time |
|---|---|
| 4s | |
| 1m 53s | |
| 1m 57s |