Junaid Ahmad

Results 2 issues of Junaid Ahmad

Given the following action: ``` uint(size=8) pt[192] := [...data...]; action ==> OP:[pt[offset1+i]: for int i in 0 .. 15] repeat 16 var int offset1 := 64, uint(size=8) tempList[16] do tempList...

Hi there, When encoding via orcom_pack in debug mode (i.e by replacing [this line](https://github.com/refresh-bio/ORCOM/blob/master/orcom/orcom_pack/Makefile#L8) with `CXX_FLAGS += -g3 -O0 -flto -fwhole-program`), the following assertions (one after the other) fail: -...