tree ba4143a493ba65ee2b53de30dcf617b7254a8518
parent 9815802ea17be10853bae2d53f6ba212dcf28b9b
author Ali Ghassemi <aghassemi@google.com> 1430866830 -0700
committer Ali Ghassemi <aghassemi@google.com> 1430866832 -0700

core.js: Using the vanadium module's public API rather than
requiring files directly in integration tests where possible.

Change-Id: I40e7a4ce6ea661906f4113c11bae1168f9e8ce60