The motivation behind this was to definitiely identify which wasm file
is being used for profiling mode, because we want to be able to
identify which Rust function is being executed, instead of seing just
numbered WASM functions.
This change doesn't solve that problem, but it does mean that we know
a priori that the WASM file we're looking at is indeed the one build
for profiling mode.
Pull Request template
Please, fill in the following checklist when you submit a PR. The
items you have done should be updated with a check mark (that is,
[x] instead of [ ]).
General
[x] Review the CONTRIBUTING.md file for
detailed contributing guidelines before sending a PR.
[x] Your contribution is made under the project's copyright
license.
[x] Make sure that your PR is not a duplicate.
[x] You have done your changes in a separate branch.
[x] You have a descriptive commit message with a short title (first line).
[x] You have only one commit. If not, either squash them into one
commit or contribute your change as a sequence of smaller Pull
Requests.
Basic sanity checks
[x] You have run runchecks.sh and it said "Everything is OK".
Testing and Documentation
[x] Your changes include unit tests (if they are code changes).
[ ] If your change relates to the behaviour of the simulator, please
include comments explaining which part of the reference
documentation
describes the thing you're changing.
If your change is a bugfix and it fully fixes an issue:
[ ] Put closes #XXXX in your pull request description to
auto-close the issue that your PR fixes.
If any of the checklist items don't apply, please leave them
un-checked.
The motivation behind this was to definitiely identify which wasm file is being used for profiling mode, because we want to be able to identify which Rust function is being executed, instead of seing just numbered WASM functions.
This change doesn't solve that problem, but it does mean that we know a priori that the WASM file we're looking at is indeed the one build for profiling mode.
Pull Request template
Please, fill in the following checklist when you submit a PR. The items you have done should be updated with a check mark (that is,
[x]instead of[ ]).runchecks.shand it said "Everything is OK".closes #XXXXin your pull request description to auto-close the issue that your PR fixes.If any of the checklist items don't apply, please leave them un-checked.
PLEASE KEEP THE ABOVE IN YOUR PULL REQUEST.