mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-21 10:58:01 +03:00
11 lines
253 B
Plaintext
11 lines
253 B
Plaintext
|
:! echo '#include <stdint.h>\nuint8_t test() { return 0; }' > ffi-reload.c
|
||
|
:! make -s ffi-reload
|
||
|
:l ffi-reload.cry
|
||
|
test ()
|
||
|
:! sleep 1
|
||
|
:! sed -i.bak 's/return 0/return 1/' ffi-reload.c
|
||
|
:! make -s ffi-reload
|
||
|
:r
|
||
|
test ()
|
||
|
:! rm ffi-reload.c ffi-reload.c.bak
|