Mohit Kumar Jangid comments

Repositories
Issues
Comments

Results 2 comments of


                                            Mohit Kumar Jangid

local LA migration "Error sending message! Bad file descriptor"

I tried with boost 1.58 Run commands: `./migration_enclave/me_app --me_lport=1500 --me_rport=1501` `./migration_enclave/me_app --me_lport=1400 --me_rport=1401` `./sample_app/app --me_ip=127.0.0.1 --me_port=1400 --dest_ip=127.0.0.1 --dest_port=1501 --test` `./sample_app/app --me_ip=127.0.0.1 --me_port=1500 --receive` gdb backtrace when -- `(gdb) bt #0...

Errors when running test files on Linux

After a long effort, I was able to run the `SConstruct` using `scons`. However, I had to copy the Fstar-master repo into the Vale/tools folder. Then running `scons --FSTAR --FSTAR-MY-VERSION`...