Fix bug for discarded triggers.

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

http://pietrobraione.github.io/jbse/

GNU General Public License v3.0

103 stars 29 forks source link

Closed GAJaloyan closed 4 years ago

GAJaloyan commented 4 years ago

This patch fixes issue #32 . It creates a raw getter that returns the field without copying it.

fillRulesTrigger is then called on this field instead of the copy that was discarded afterwards.

pietrobraione commented 4 years ago

Closes issue #32.