Thanks for the reply. > could you increase the max to 1M or so > and see what the actual number of insns it needs?
it takes 112,762 insns. And the kernel runs a while (~6 seconds) to verify it. > If the program is short, as you say, can you debug > the state prunning to see why it's not recognized? Compared with the non-volatile bytecode, I found most of the pruning does not apply. (the is_state_visited() does not find equivalent state) > I'm guessing stack slots are too different. If so, > can you apply the same hueristics we have for registers > to stack slots ? > In other words apply upper half of states_equal() > to lower half? > OK, I'm still trying to find out the root cause. Will update later. Regards, William _______________________________________________ iovisor-dev mailing list [email protected] https://lists.iovisor.org/mailman/listinfo/iovisor-dev
