<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> | |
<html> | |
<head> | |
<script src="../../resources/js-test-pre.js"></script> | |
</head> | |
<body> | |
<script src="script-tests/dfg-int32-to-double-on-set-local-and-sometimes-exit.js"></script> | |
<script src="../../resources/js-test-post.js"></script> | |
</body> | |
</html> |