I hereby claim:
- I am jamesbornholt on github.
- I am jamesb (https://keybase.io/jamesb) on keybase.
- I have a public key ASDFV2kmWu9Ecwn8npIVxhipX2Ol8Seu38RsF9BamAK6Iwo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
#lang rosette/safe | |
(require rosette/lib/angelic ; provides `choose*` | |
rosette/lib/destruct) ; provides `destruct` | |
; Tell Rosette we really do want to use integers. | |
(current-bitwidth #f) | |
#lang racket | |
(struct bitvector (size) | |
#:methods gen:custom-write | |
[(define (write-proc self port m) | |
(/ 1 0) | |
#;(fprintf port "(bitvector ~v)" (bitvector-size self)))]) | |
(bitvector-size #f) |
I hereby claim:
To claim this, I am signing this object:
#lang rosette/safe | |
(require rosette/lib/angelic ; provides `choose*` | |
rosette/lib/destruct) ; provides `destruct` | |
; Tell Rosette we really do want to use integers. | |
(current-bitwidth #f) | |